Add a do_kernel command

This is useful to rebuild the only kernel and re-flash a previously setup SD card.

Signed-off-by: Ezequiel Garcia ezequiel@collabora.co.uk