The previous patch to make userspace work again on v6 had a problem
with vectors at 0xffff0000. RMK's version fixes the problem in the
patch that added L_PTE_ASID.