[PATCH v5 41/44] x86: coral: Add missing TPL options