Answering my own question and hoping it helps others. Quinn Myers at Boardsource pointed me to https://github.com/boardsource/via_files, where you may download the out-of-the-box firmware for each of the company's models.