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