fixup kernel problem with version uknown