[M] Change in coreboot[main]: soc/intel/xeon_sp/skx: Configure IOAPICs

[Patrick Rudolph (Code Review)]

Attention is currently required from: Alicja Michalska, Angel Pons, Christian Walter, Eric Lai, Felix Held, Johnny Lin, Jonathan Zhang, Shuo Liu, Tim Chu, [e-mail].

Patrick Rudolph has posted comments on this change by Patrick Rudolph. ( https://review.coreboot.org/c/coreboot/+/85170?usp=email )

Change subject: soc/intel/xeon_sp/skx: Configure IOAPICs
......................................................................

Patch Set 10:

(1 comment)

File src/soc/intel/xeon_sp/skx/ioapic.c:

https://review.coreboot.org/c/coreboot/+/85170/comment/bccea6aa_98bcafae?usp... :
PS4, Line 47: 	}
> I guess other GSI assignment rules should be possible, but for _PRT alignment, the revised formula l […]

I could not find a way to assign the GSI base address. From what I understand it's hardwired and thus adverised in MADT. Otherwise there would be no need to advertise it in MADT when a platform could reassign the GSI base addresses and always provide a linear mapping.

Added an assertion.