extern void __init bootmem_init(void);