(in particular as the efi var is actually defined as part of https://systemd.io/BOOT_LOADER_INTERFACE/ and the relation to TSC is not documented there. Hence assuming the variable is rubbish is a bit of a stretch, given that it might or might not be backed by TSC, could be backed by anything else really, we shouldn't care about it)