Add a bunch of cycle_kernel_lock() calls