[SeaBIOS] [PATCH 2/2] boot: allow multiple hard drives in the boot list