kernel: update menuconfig instructions

Since [1] has been merged, the recommended way of updating the kernel defconfig fragment is to use bazel.

Document it.

[1] baylibre/ti/ti-linux-kernel@b73719e8 Signed-off-by: Mattijs Korpershoek mkorpershoek@baylibre.com