x86: call free_init_pages() with irqs enabled in alternative_instructions()
[linux-2.6] / arch / um / Makefile-ia64
1 START_ADDR = 0x1000000000000000