[linux-morello] Re: [PATCH] morello: Fix build of kernel due to merge conflicts