Fixes: Return a dummy BIOS name in Win32_BIOS record
