Use kernel_configure_variable in append for rpi