[SeaBIOS] [PATCH 2/6] sdcard: Move frequency setting into sdcard_card_setup()