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