kernel/mpr: Remove unused malloc type.