ThinkPad T580 support added to Libreboot.
https://codeberg.org/libreboot/lbmk/commit/9142c8b41921e659d69878702089eb37c87f02b5
Yes.
With love from Hamburg. (I'm in Hamburg, Germany, because I'll be attending #39c3 and also because Hamburg is cool)
EDIT: also, thank you Johann C. Rode for porting this board to coreboot!