Dear Maintainer,
On HPE Microserver Gen 10/AMD Opteron X3216 Debian 9 (original kernel) & backported kernel 4.13.0-0.bpo.1-amd64 boot OK,
but 4.13.0-0.bpo.1-amd64 fails to noot:
- [0.085167] mce: [Hardware Error]: CPU 0, Machine Check 0: 0 Bank 4: fe40a00008100a13
- [0.085167] mce: [Hardware Error]: TSC 0 ADDR 61ff244000 MISC d012001001000000
- [0.085167] mce: [Hardware error]: PROCESSOR 2: 660f01 TIME 1516559601 SOCKET 0 APIC 0 microcode 6006118
After this, the booting sequence begins from the beginning.
Reverting back to the previous kernel image 4.13 boots normally.
Infomation below is after succesfull boot to the old 4.13 kernel image.