Michael Walle 714497e327 efi_loader: round the memory area in efi_add_memory_map() %!s(int64=4) %!d(string=hai) anos
..
rpi 714497e327 efi_loader: round the memory area in efi_add_memory_map() %!s(int64=4) %!d(string=hai) anos