Update: disabling TPM is enough to allow boot.
From dmidecode:
Handle 0x000C, DMI type 1, 27 bytes System Information Manufacturer: LENOVO Product Name: 20L8S7X100 Version: ThinkPad T480s Serial Number: xxx UUID: xxx Wake-up Type: Power Switch SKU Number: LENOVO_MT_20L8_BU_Think_FM_ThinkPad T480s Family: ThinkPad T480s
Update: disabling TPM is enough to allow boot.
From dmidecode:
Handle 0x000C, DMI type 1, 27 bytes
Manufacturer: LENOVO MT_20L8_ BU_Think_ FM_ThinkPad T480s
System Information
Product Name: 20L8S7X100
Version: ThinkPad T480s
Serial Number: xxx
UUID: xxx
Wake-up Type: Power Switch
SKU Number: LENOVO_
Family: ThinkPad T480s