Check in a primitive stub for the kernel