DEFAULT linux
LABEL linux
  KERNEL bzImage
  INITRD init.cpio