[OpenBIOS] [PATCH 4/4] ppc: Fix PCI interrupt routing to match what qemu does

[BALATON Zoltan]

On Wed, 23 Nov 2016, Mark Cave-Ayland wrote:
> It looks like the QEMU counterpart to this has been queued for 2.8, so
> as my set of boot tests show no regressions I've pushed this to git
> master. Once the QEMU mirror syncs overnight I'll send a pull request to
> update the corresponding OpenBIOS binaries.

Any chance to also test and include the other three patches in that pull? 
With those f0da78e can also be reverted, at least RTL8139 seem to work 
without that after my patches as the OS can find and init the card 
correctly.

Regards,
BALATON Zoltan