Re: [PATCH] scmi: correctly configure MMU for SCMI buffer