Fix kernel_parameter providers