Re: [coreboot] J7F2: larger bios chip?