[coreboot] J7F2: larger bios chip?