So a BIOS update "fixed" this?