refresh kernel config by running make kernel_menuconfig and saving changes Signed-off-by: Tim Harvey <tharvey@gateworks.com>