INCLUDE boot/syslinux/wk_head.cfg

INCLUDE boot/syslinux/wk_iso_linux.cfg
#DISABLED_UPSTREAM_BUG#INCLUDE boot/syslinux/wk_hdt.cfg

INCLUDE boot/syslinux/wk_tail.cfg