Hi all, As of this commit: e87f025fbe766c078d1968b6fbc090f54c8f8a2c X2APIC is enabled by default if available. This should address some booting issues, we got so far, e.g. BIOS puts the LAPICs in X2APIC mode before it hands the control over to the OS. Thanks, sephe -- Tomorrow Will Never Die