Measured boot not working

It seems that at least part of the data is read from (the same place as) /sys/firmware/efi/systab, but TPMFinalLog is not included there.