Re: [coreboot] [patch 4/7] Add PIRQ_ROUTE support for vt8237.