added boot menu into BIOS_Boot widget;
some fixes to avoid looping ;