Make linux optional as all other configs.
commit26657e1db05086a41390d322bd69d779a284a9a3
authorMichal Suchanek <hramrach@gmail.com>
Sun, 8 Jun 2014 07:38:03 +0000 (8 09:38 +0200)
committerMichal Suchanek <hramrach@gmail.com>
Sun, 8 Jun 2014 07:38:03 +0000 (8 09:38 +0200)
treef4b21bd2cfe6e9c94c80d56910b892751fde2de7
parent0d1b0d3da77db025e0ea860a7f7a51920d14f39c
Make linux optional as all other configs.

Might be useful if using extlinux as secondary bootloader or when Xen
support is added.
Signed-off-by: Michal Suchanek <hramrach@gmail.com>
debian/local/extlinux.d/0010-linux