tboot: restrict to one platform