Fixed bug in kernel memory allocator when aligning on pages