[SeaBIOS] [PATCH 1/4] Fix return type of le64_to_cpu() and be64_to_cpu()

[Kevin O'Connor]

On Sat, Feb 23, 2013 at 12:24:47AM +0000, David Woodhouse wrote:
> From: David Woodhouse <David.Woodhouse at intel.com>
> 
> Signed-off-by: David Woodhouse <David.Woodhouse at intel.com>

Thanks.

I pushed patch 1.

Patch 2 and 3 look okay to me - if there are no further comments I'll
push them.

I'm not sure about patch 4.  I do think we want to try the "standard"
ways before poking at unstandard ports.

-Kevin