properly name herc/sky kernel