recover_multiboot_env:
	movl	R(multiboot_env), %eax
	testl	$MI_FLAG_MEMORY, (%eax)

...

6:
	testl	$MI_FLAG_MODS, (%eax)
	jz	7f
	movl	MI_MODS_ADDR(%eax), %ecx
	movl	%ecx, R(multiboot_mods+4)
	movl	MI_MODS_COUNT(%eax), %ecx
	movl	%ecx, R(multiboot_mods)
	/* Set bootinfo.bi_kernend from multiboot modules if any */
	testl	%ecx, %ecx
	jz	7f
	pushl	%ecx
	pushl	R(multiboot_mods+4)
	call	get_kernend_from_multiboot_mods
	addl	$8, %esp
7:
	ret