On Thu, Jun 05, 2014 at 10:36:07AM -0600, Dave Frodin wrote:
> Paul,
>
> I'm resending the patch, supposedly as plain text.
> Let me know if you still see a problem.
>
> Thanks,
> Dave

Thanks for posting this Dave.

Is the intention to publish this, or to get this into SeaBIOS master?
I think the patch will need a bit of work before it could be committed
to upstream.

[...]

> +    //@NOTE:  This step appears to be unnecessary for booting from
> the sd card as the pchs info does not get used...

BTW, the patch still got corrupted.  You might try gzipping it and
then attaching the gzipped patch.

-Kevin