tree 7b66270533b627931df7fa2bfbd23fb04ffdb4d8
parent f1406a78edbe3fe3b588f4d6438dd3c33617bdc9
author Jan Kundrát <jan.kundrat@cesnet.cz> 1508403532 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1508403532 +0200

Remove obsolete files

...now that everything is being controlled by the kernel command line
option.

Change-Id: I2b3a61f4a08d1f47d4bb61377e9c7350325f4076