grit-iso/releng/syslinux/archiso_sys_choose.cfg

DEFAULT choose

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

LABEL have64
CONFIG boot/syslinux/archiso_sys_both_inc.cfg

LABEL nohave64
CONFIG boot/syslinux/archiso_sys_32_inc.cfg