[linux-morello-distros] [PATCH 05/13] linux: change the versioning