[Bug 57766] Win3_BIOS most likely should be Win32_BIOS instead