@stiofi i did a grep on the coreboot git repository, and it seems the t550s is unsupported - no mention of it on https://review.coreboot.org/ either. therefore, i can't support the t550s.

in principle, anything that coreboot supports can be added to libreboot's build system.