[Bug 304197] New: Kernel selection during installation defaulting to 2.6. x bigsmp instead of default kernel