<Kevin2> Given that IRC was never officially listed in the seabios documentation and given that this channel has historically had very low usage, I'm not planning to create a new IRC channel. <Kevin2> I'll likely join the #coreboot channel - should it move. So, I'll be around.