[PATCH v2 00/13] x86: coral: Add support for Cr50