It's not just about Intel vs AMD, but a whole different design philosophy.
Comparing the Lenovo ThinkPad Nano vs the HP EliteBook 845 G7 (check the full review) is not an easy task, but as ultra-books they both target the same audience, with huge differences in their main goal.
In the past BIOS updates often required Windows or booting from a stick. Thankfully with the Lenovo ThinkPad P1 and the almost identical ThinkPad X1 Extreme, you can update the BIOS directly from Linux.