[SeaBIOS] [PATCH 3/4] sdcard: Move drive registration to sdcard_card_setup()