insmod echo
insmod gzio
insmod minicmd
insmod normal
insmod test
set timeout=@timeout@

if [ $grub_cpu = x86_64 -o $grub_cpu = i386 ]; then
    if [ $grub_platform = efi ]; then
        linux_suffix=efi
    elif [ $grub_platform = pc ]; then
        linux_suffix=16
    else
        linux_suffix=
else
    linux_suffix=
fi