[PATCH] kernelbase: Fix an incorrect allocation size.