[OpenBIOS] [PATCH] PPC64: Make OpenBIOS interrupt handlers 64bit aware