[Bug 57766] New: Win3_BIOS most likely should be Win32_BIOS instead