[opensuse-kernel] Why is CONFIG_X86_X32 enabled?