There's only one Librem Mini board, it doesn't use a TPM, no reason to unnecesarily lengthen the board name. Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>