Re: [SeaBIOS] sd card support