@mcc @ringles Kernel support for executing 32bit can be disabled but I'm not sure if it's runtime settable or only kernel build time.