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