Re: [PATCH 1/1] boot: fix bootdev_list()