extern void __init bootmem_init(void);

void fixup_init(void);