DEFAULT choose
PROMPT 0

LABEL choose
KERNEL boot/syslinux/ifcpu64.c32
APPEND have64 -- nohave64

LABEL have64
CONFIG boot/syslinux/archiso_both.cfg

LABEL nohave64
CONFIG boot/syslinux/archiso_32only.cfg