tested this, both also do work !
>> - some functions have questionable (confusing?) names (boot_it,
>> boot_linux, run_command, run_kernel_image)
>
> I know - I hat quite some trouble to get a kernel booting at all, the
> last thing I was thinking about was proper function names, sorry.