tree bd79eaa865c02f359e6edf91f9a8a1e32f66ccc6
parent e4eac85880e8677f96d8b9e94de9f2eec9c0751f
author Helge Deller <deller@gmx.de> 1705592077 +0100
committer Helge Deller <deller@gmx.de> 1705592077 +0100

boot: Use void* instead of u32 to store pointers

Needed to support 64-bit build.

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