[PATCH v4 43/46] x86: coral: Add missing TPL options