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