Re: [opensuse-kernel] Why is CONFIG_X86_X32 enabled?