This didn't make it into the published 0.93 spec, but it was the
But it is in the tex source as of this commit
This means zext.w now requires Zba. Not sure if we should still use
pack if Zbp is enabled and Zba isn't. I'll leave that for the future
when pack is closer to being final.