Se a qualcuno capitasse questo problema, ho scoperto la causa: Linux ha qualche problema con la gestione del modulo ACPI (quello relativo alla gestione energetica) del mio portatile. Disabilitando, ora è tornato tutto a funzionare... Per farlo basta aggiungere la riga ACPI=off come parametro per l'avvio del kernel nel bootloader...