Re: [SeaBIOS] [PATCH 00/14] Initial sdcard support on real hardware