the bootloader has a console where you can change any plan9.ini parameter, including bootfile=. read 9boot(8).
if you really want menus in the bootloader, you can also load the kernel directly with some other multiboot capable bootloader. or you start the kernel from another kernel using the reboot!kernelpath!method... on the bootargs prompt. -- cinap
