debextract kernel $(debfile syslinux-common)
debextract kernel $(debfile syslinux-efi)
debextract kernel $(debfile syslinux-utils)
+ debextract kernel $(debfile isolinux)
fi
echo "# Include some kernel modules in the initrd"
nls_cp437 nls_ascii fat vfat
crc32c_generic jbd2 mbcache crc16 ext4
isofs
+ overlay
# input
psmouse evdev
# network