Add option to compile (instead of compile+load) a kernel for a given mode

[stgeke]

Ideally this functionality should be available without an active device. The motivation is e.g. to cross compile.