Cleaned up prose about broken BIOS hardware state