added BootDevices in BIOS_Boot widget;
some fixes for correct computing
    of the devices data;