Index: boot/generic/src/balloc.c
===================================================================
--- boot/generic/src/balloc.c	(revision 5587cf734004dfd2d781ebd8e5af563d93e1bf23)
+++ boot/generic/src/balloc.c	(revision 979c313a026cb49f954dcd0f5f87b8e1ab956bc2)
@@ -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);
 }