@fsf what do you know of libreboot? how much of that is actually free software? how do I know if my hardware is supported?