[coreboot] [PATCH] Dynamically generate PNP0C02 mainboard resources in SSDT