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