KEEP_INITRD=--keep-initrd
fi
if [ -d /sys/firmware/devicetree -a ! -d /sys/firmware/efi ]; then
if [ -d /sys/firmware/devicetree ]; then
WITH_UBOOT=--uboot
INSTALLKERNEL_ARGS="$INSTALLKERNEL_ARGS ${WITH_UBOOT}"
-