sparc64: Fix top-level fault handling bugs.