Re: [Etherboot-developers] Menu program

[<ke...@us...>]

>Apologies.
>Attached is a GZIP'ed diff.

Thanks very much, I'll incorporate this into 1.2-9. I might even replace
my version with yours since mine's just a toy PoC.