zen: set kernel name