aspetto chiarimenti....
non ho le idee chiare su:
acpi
apic
lapic
nel mio dmesg vedo:
[ 0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
[ 0.000000] IOAPIC[0]: apic_id 4, version 17, address 0xfec00000, GSI 0-23
[ 0.016017] ..TIMER: vector=0x30 apic1=0 pin1=0 apic2=-1 pin2=-1