[coreboot] [patch 13/16] Add PIRQ_ROUTE support for vt8237.