[Bug 327544] wrong kernel selection