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