I think it might be a kernel bug, but I didn't test it with other desktop environments. See my attached dmesg log.
The interesting part is:
[ 0.365811] CPU1 is up
[ 0.369306] Clockevents: could not switch to one-shot mode: lapic is not functional.
[ 0.369309] Could not switch to high resolution mode on CPU 1
I think it might be a kernel bug, but I didn't test it with other desktop environments. See my attached dmesg log.
The interesting part is:
[ 0.365811] CPU1 is up
[ 0.369306] Clockevents: could not switch to one-shot mode: lapic is not functional.
[ 0.369309] Could not switch to high resolution mode on CPU 1