> Once that has been determined, designed, and goes into production, we start on firmware.

So you use coreboot. Right? Because if you don't, where is this firmware development going on?