One thing I forgot to ask: which clocksource does the kernel end up with? (sudo cat /sys/devices/system/clocksource/clocksource0/current_clocksource) and which are available (/sys/devices/system/clocksource/clocksource0/available_clocksource).
Also when trying the kernel, add "apic=debug and debug" to the commandline.
One thing I forgot to ask: which clocksource does the kernel end up with? (sudo cat /sys/devices/ system/ clocksource/ clocksource0/ current_ clocksource) and which are available (/sys/devices/ system/ clocksource/ clocksource0/ available_ clocksource) .
Also when trying the kernel, add "apic=debug and debug" to the commandline.