Index: kernel/genarch/src/drivers/pl011/pl011.c
===================================================================
--- kernel/genarch/src/drivers/pl011/pl011.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ kernel/genarch/src/drivers/pl011/pl011.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
@@ -100,5 +100,5 @@
 	assert(uart);
 	uart->regs = (void *)km_map(addr, sizeof(pl011_uart_regs_t),
-	    PAGE_NOT_CACHEABLE);
+	    KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
 	assert(uart->regs);