So would it be reasonable to have the domain reserve it, since having a resource for each CPU at the same place could get confusing? Do we have LAPIC devices on any platforms in Coreboot, so that it could be reserved there?
LAPIC is in any CPU post Pentium.
R.