[PATCH v4 06/15] futex2: Add compatibility entry point for x86_x32 ABI