Giovanni Mascellani : kernelbase: Fix an incorrect allocation size.