src/sys/arch/hpc/stand/hpcboot/menu