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