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