Helps with dual booting. Ubuntu tray application to reboot into different OSes or UEFI/BIOS - View it on GitHub