macos panic decoder should handle 64 bit kernel in 32 bit mode