Index: boot/generic/src/balloc.c
===================================================================
--- boot/generic/src/balloc.c	(revision df7dc9e565c0538447fbaaec2d4e67c593d48512)
+++ boot/generic/src/balloc.c	(revision ffccdff0fd3f49751202889e457bdf900721bfad)
@@ -28,4 +28,5 @@
 
 #include <balloc.h>
+#include <stdalign.h>
 #include <stddef.h>
 #include <align.h>
@@ -51,5 +52,5 @@
 
 	/* Enforce minimal alignment. */
-	alignment = ALIGN_UP(alignment, 4);
+	alignment = ALIGN_UP(alignment, alignof(max_align_t));
 
 	uintptr_t addr = phys_base + ALIGN_UP(ballocs->size, alignment);