markup_oops: fix it with 32-bit userspace on a 64-bit kernel