Some debugging
Fixed kernel name handling