Perfetto, niente ACPI.
Sì, la tua scheda madre, o l'accoppiata scheda+ali, non sono pienamente supportate dal kernel.
Quando capiteranno aggiornamenti del kernel ricordati di fare un tentativo di avvio con l'ACPI per controllare se la situazione si è sistemata.
Dei parametri di avvio che ti avevo consigliato potresti tenere
notsc hpet=force clocksource=hpet che
forzano l'utilizzo dell'HPET, che è il timer più preciso disponibile nei pc moderni.