hopefully the resolution was ‘update to the latest Pureboot release’ since the Mini doesn’t have a TPM
