Added kernel::enqueue()