Lenovo ThinkPad Z13 with the built-in Pluton security chip won’t boot Linux