DEFAULT debian32
 SAY Now booting the kernel from syslinux...
LABEL debian32
 LINUX /boot/vmlinuz-4.9.0-4-amd64
 APPEND ro root=/dev/sda1 initrd=/initrd.img
