genkernel: Add --kconfig to set specific kernel config options