10.0RC1 choosing wrong kernel