Just for completeness: Which libreboot version is it?  You can check using dmidecode.