--- xen/arch/x86/setup.c.fix 2007-05-03 09:40:19.000000000 +0200 +++ xen/arch/x86/setup.c 2007-06-19 11:19:11.000000000 +0200 @@ -453,6 +453,7 @@ if ( initial_images_start < xenheap_phys_end ) initial_images_start = xenheap_phys_end; initial_images_end = initial_images_start + modules_length; + initial_images_end = (initial_images_end + PAGE_SIZE - 1) & PAGE_MASK; move_memory(initial_images_start, mod[0].mod_start, mod[mbi->mods_count-1].mod_end);