yeah WTH, that's messed up.

But this is a problem that can be easily fixed with bios update, no?