[SeaBIOS] [PATCH v2 4/5] config: Add toggle for bootdevice information