[SeaBIOS] [PATCH] Add SD card support