[SeaBIOS] [PATCH 5/6] sdcard: Display sdcard product name in boot menu