Fix kernelbuild scripts