DEFAULT choose
LABEL choose
COM32 boot/syslinux/ifcpu64.c32
APPEND have64 -- nohave64
LABEL have64
CONFIG boot/syslinux/archiso_pxe_both_inc.cfg
LABEL nohave64
CONFIG boot/syslinux/archiso_pxe_32_inc.cfg