Put cinfo array into initdata section. Added more precision in bootmem

cinfo array is now freed along with other init memory.
bootmem allocator memory is reduced to be completely used up.
free boot memory now prints the used free memory as well.

src/generic/bootmem.c

@@ -0,0 +1,67 @@
+/*
+ * Boot memory allocator
+ *
+ * Copyright (C) 2009 Bahadir Balban
+ */
+
+
+#include INC_ARCH(linker.h)
+#include INC_GLUE(memory.h)
+#include <l4/lib/printk.h>
+#include <l4/generic/space.h>
+
+/*
+ * All memory allocated here is discarded after boot.
+ * Increase this size if bootmem allocations fail.
+ */
+#define BOOTMEM_SIZE		(SZ_4K * 4)
+
+SECTION(".init.pgd") pgd_table_t init_pgd;
+SECTION(".init.bootmem") char bootmem[BOOTMEM_SIZE];
+__initdata struct address_space init_space;
+
+static unsigned long cursor = (unsigned long)&bootmem;
+
+unsigned long bootmem_free_pages(void)
+{
+	return BOOTMEM_SIZE - (page_align_up(cursor) - (unsigned long)&bootmem);
+}
+
+void *alloc_bootmem(int size, int alignment)
+{
+	void *ptr;
+
+	/* If alignment is required */
+	if (alignment) {
+		/* And cursor is not aligned */
+		if (!is_aligned(cursor, alignment))
+			/* Align the cursor to alignment */
+			cursor = align_up(cursor, alignment);
+	/* Align to 4 byte by default */
+	} else if (size >= 4) {
+		/* And cursor is not aligned */
+		if (!is_aligned(cursor, 4))
+			/* Align the cursor to alignment */
+			cursor = align_up(cursor, 4);
+	}
+
+	/* Allocate from cursor */
+	ptr = (void *)cursor;
+
+	/* Update cursor */
+	cursor += size;
+
+	/* Check if cursor is passed bootmem area */
+	if (cursor >= (unsigned long)&bootmem[BOOTMEM_SIZE]) {
+		printk("Fatal: Insufficient boot memory.\n");
+		BUG();
+	}
+
+	return ptr;
+}
+
+pmd_table_t *alloc_boot_pmd(void)
+{
+	return alloc_bootmem(sizeof(pmd_table_t), sizeof(pmd_table_t));
+}
+