kernelbase: Fix an incorrect allocation size.