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