[PATCH v3 16/22] bootm: Tidy up boot_selected_os()