No, il bios era già all'ultima versione disponibile.
Invece ho scoperto che era tutta colpa dell'opzione "ACPI HPET Table" abilitata nel bios: disabilitandola viene usato il tsc del processore come clocksource e tutto funziona normalmente.
Se qualcuno ne sa di più sul significa di questa opzione (e perché genera kernel panic), sarei felice se me lo spiegasse

.
Offtopic: Alcuni dati sulle temperature del northbridge (con "sensors" vedo solo quello) con sistema in idle (quindi completamente scarico):
- "idle=poll" --> 47°C
- nessun parametro --> 27°C
Conclusione personale: "idle=poll" è meglio evitarlo (proprio come scritto nella documentazione del kernel).