[linux-morello] Re: [PATCH v2] module: Enable module loading for PCuABI kernels