Package: intel-microcode Followup-For: Bug #828819 Dear Maintainer,
thanks for clearing this up so quickly :). Just as a follow up, Tuxedo released a new BIOS version including microcode 0x8a and I tested that 3.20160607.1 doesn't fail with that anymore. Cheers Jochen
