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