[PATCH 10/13] x86: zboot: Rename zboot_start() to zboot_run()