My x230's TPM has gone missing somewhere between 4.5 and the current head. CONFIG_LPC_TPM is still set, but neither coreboot nor the Linux payload detects it. Bisecting will take a while since it requires reflashing; does anyone know where it might have gone?