[OpenBIOS] [PATCH 4/7] PPC: Fix interrupt numbers