x86: call free_init_pages() with irqs enabled in alternative_instructions()

[linux-2.6] / arch / powerpc / boot / dummy.c

int main(void)
{
        return 0;
}