pub fn init(madt_lapic_addr: u32)
Initialize the Local APIC.
madt_lapic_addr is the LAPIC base physical address from the MADT. We use the MSR value as authoritative but log if it differs from MADT.
madt_lapic_addr