Re: [OpenBIOS] [PATCH 3/5] adb: Don't assume that pointers fit in 32 bits