[Bug 231153] Yast selects 32-bit bigsmp-kernel at 64 bit system