[coreboot] Re: What should we do about freenode IRC services?