kernel config: add X32 support