ARM_KERNEL_STEP_NONE
if (*kernel_step != ARM_KERNEL_STEP_NONE)
} else if (*kernel_step != ARM_KERNEL_STEP_NONE) {
*kernel_step = ARM_KERNEL_STEP_NONE;