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