I've had the same problem with a Supermicro mainboard recently. After upgrading the BIOS, the problem was fixed.