@jonathon.hall
I do not know that answer, but you may be interested in a related topic with another user configuring Gentoo Linux with PureBoot on their Librem 14: