Initial support for X32 ABI