build/kernel: Apply different kernel configurations through command line options.