Index: boot/generic/src/balloc.c
===================================================================
--- boot/generic/src/balloc.c	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ boot/generic/src/balloc.c	(revision f2b3d3ea3dc1fbb7a2312b326613bcc88a3bfaf5)
@@ -65,4 +65,4 @@
 void *balloc_rebase(void *ptr)
 {
-	return (void *) ((uintptr_t) ptr - phys_base + ballocs->base);
+	return (void *) (((uintptr_t) ptr - phys_base) + ballocs->base);
 }