Bugfix

In old way kernel 3.0 is not selected.