Index: boot/arch/arm32/loader/asm.h
===================================================================
--- boot/arch/arm32/loader/asm.h	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
+++ boot/arch/arm32/loader/asm.h	(revision f89979b1e04f036c3b08e99110d2269a0314f7c9)
@@ -33,5 +33,5 @@
 /** @file
  *  @brief Functions implemented in assembly.
- */ 
+ */
 
 
@@ -41,8 +41,8 @@
 
 /** Copies cnt bytes from dst to src.
- * 
+ *
  * @param dst Destination address.
  * @param src Source address.
- * @param cnt Count of bytes to be copied. 
+ * @param cnt Count of bytes to be copied.
  */
 #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))
@@ -59,10 +59,9 @@
 /** Jumps to the kernel entry point.
  *
- * @param entry          Kernel entry point address.
- * @param bootinfo       Structure holding information about loaded tasks.
- * @param bootinfo_size  Size of the bootinfo structure.
+ * @param entry    Kernel entry point address.
+ * @param bootinfo Structure holding information about loaded tasks.
+ *
  */
-extern void jump_to_kernel(void *entry, void *bootinfo,
-    unsigned int bootinfo_size) __attribute__((noreturn));
+extern void jump_to_kernel(void *entry, void *bootinfo) __attribute__((noreturn));
 
 
Index: boot/arch/arm32/loader/boot.S
===================================================================
--- boot/arch/arm32/loader/boot.S	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
+++ boot/arch/arm32/loader/boot.S	(revision f89979b1e04f036c3b08e99110d2269a0314f7c9)
@@ -54,4 +54,2 @@
 page_table:
 	.skip PTL0_ENTRIES * PTL0_ENTRY_SIZE
-
-
Index: boot/arch/arm32/loader/main.c
===================================================================
--- boot/arch/arm32/loader/main.c	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
+++ boot/arch/arm32/loader/main.c	(revision f89979b1e04f036c3b08e99110d2269a0314f7c9)
@@ -33,5 +33,5 @@
 /** @file
  *  @brief Bootstrap.
- */ 
+ */
 
 
@@ -40,4 +40,5 @@
 #include "_components.h"
 #include <printf.h>
+#include <align.h>
 #include <macros.h>
 
@@ -110,5 +111,5 @@
 	
 	printf("\nBooting the kernel...\n");
-	jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo, sizeof(bootinfo));
+	jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, &bootinfo);
 }
 
Index: boot/arch/arm32/loader/main.h
===================================================================
--- boot/arch/arm32/loader/main.h	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
+++ boot/arch/arm32/loader/main.h	(revision f89979b1e04f036c3b08e99110d2269a0314f7c9)
@@ -33,5 +33,5 @@
 /** @file
  *  @brief Boot related declarations.
- */ 
+ */
 
 
@@ -39,11 +39,4 @@
 #define BOOT_arm32_MAIN_H
 
-
-/** Aligns to the nearest higher address.
- *
- * @param addr  Address or number to be aligned.
- * @param align Size of alignment, must be power of 2.
- */
-#define ALIGN_UP(addr, align) (((addr) + ((align) - 1)) & ~((align) - 1))
 
 /** Maximum number of tasks in the #bootinfo_t struct. */
@@ -75,3 +68,2 @@
 /** @}
  */
-