Apparently libreboot has been ported to it: https://libreboot.org/docs/hcl/c201.html and someone was asking me for opinions on using this to install debian or ubuntu. It's ARM instead of intel, so I'm guessing it's less well established.