a75cc35b71
A function parameter got added in r285356, meaning that the call to kern_dup() needs to be patched up.
A function parameter got added in r285356, meaning that the call to kern_dup() needs to be patched up.