I can say though that the EFI firmware didn't cause the bug, but in fact the 10.8.2 software upgrade did.