Bug no longer occurs after BIOS update.
Looks like this was a bug with the bios and not Debian.

Reply via email to