Make sure to run kernelpatch as root

Also define ubuntu variant of SHORT_KERNEL in a central place.
So should it ever change it is easy to adapt the script,
plus some cosmetics