echo
echo Switching to GNU GRUB
echo
machine exec grub /boot/addons/allinone.img