Comment 4 for bug 1766056

I've been hit by this one again, testing the second spin of the kubuntu bionic final ISO. This time I got a photo of the error message, which I will transcribe below and attach if possible.
[ 0.0000000] [Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x20 (or later)
[ 0.040000] mce: [Hardware Error]: CPU 0: Machine Check: 0 Bank 6: ae0000000040110a
[ 0.040000] mce: [Hardware Error]: TSC 0 ADDR fef86f00 MISC 38a0000086
[ 0.040000] mce: [Hardware Error]: PROCESSOR 0:40651 TIME 1524542899 SOCKET 0 APIC 0 microcode 1c
[ 0.045483] ipmi:dmi:Invalid offset: 0