removed ONED_KERNEL_LAUNCH from header