[PATCH] bootflow: Rework do_bootflow_menu() slightly