Re: [OpenBIOS] [PATCH 1/3] sparc64: use direct interrupt mapping for PCI devices