DEFAULT choose
PROMPT 0

LABEL choose
KERNEL ifcpu64.c32
APPEND have64 -- nohave64

LABEL have64
CONFIG syslinux_both.cfg

LABEL nohave64
CONFIG syslinux_32only.cfg