question about alloc_bootmem