This sounds like actually a firmware bug. Please try to upgrade your BIOS to the latest version if not done yet.