x86: call free_init_pages() with irqs enabled in alternative_instructions()
[linux-2.6] / arch / arm / mach-shark / Makefile.boot
1    zreladdr-y   := 0x08008000
2