[RFC PATCH v2 05/13] futex2: Add compatibility entry point for x86_x32 ABI