Kernel name change so it plays nice nice.