Not fixed yet, but I did a cat bosboot and looked at the one actually running on my system, not one I found online. Lo and behold:
strip -Kernel $skernel > /dev/null
So, strip -Kernel is interpreted as strip -K.
Now, in what world is it ok to use strip -Kernel and in what world isn't it OK?