powerpc/64s: move bad_page_fault handling to C