[SeaBIOS] Re: [PATCH v7 6/8] bootdevice: Refactor get_boot_devices_list