Re: [coreboot] [PATCH] i82801xx assign PIRQs in mainboard Config.lb or use default