[M] Change in coreboot[main]: arch/x86: Enable support for IOAPIC devices

[Angel Pons (Code Review)]

Attention is currently required from: Cliff Huang, Jérémy Compostella, Lance Zhao, Patrick Rudolph, Shuo Liu, Subrata Banik, Tim Wawrzynczak, [e-mail].

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

Change subject: arch/x86: Enable support for IOAPIC devices
......................................................................

Patch Set 4: Code-Review+1

(2 comments)

File src/arch/x86/ioapic.c:

https://review.coreboot.org/c/coreboot/+/85226/comment/c78748e9_291716be?usp... :
PS4, Line 205: path.type = DEVICE_PATH_IOAPIC;
             : 	path.ioapic.ioapic_id = get_ioapic_id(ioapic_base);
             : 	path.ioapic.addr = ioapic_base;
             : 	path.ioapic.gsi_base = gsi_base;
nit: why not:
```suggestion
    struct device_path path = {
    	.type = DEVICE_PATH_IOAPIC,
    	.ioapic = {
    		.addr = ioapic_base,
    		.ioapic_id = get_ioapic_id(ioapic_base),			.gsi_base = gsi_base,
    	}
    };
```

File src/device/device_const.c:

https://review.coreboot.org/c/coreboot/+/85226/comment/ca67a3d7_33f32948?usp... :
PS4, Line 158: 		printk(BIOS_ERR, "Unknown device type: %d\n", path1->type);
For another patch: this should be an assertion