Re: [PATCH v2 16/21] bootm: Tidy up boot_selected_os()