tpm_ioctl.h is LGPL licensed