[coreboot] Re: Resizing BIOS chip from 8MB to 16MB - howto article