[linux-morello-distros] [PATCH v2 08/15] Add Morello Linux kernel