boot: Use void* instead of u32 to store pointers

Needed to support 64-bit build.

Signed-off-by: Helge Deller <deller@gmx.de>
1 file changed