[linux-morello] [PATCH v4 03/13] arch: add compat helpers specific to 64-bit