[coreboot] Jetway J7F4K1G2E support?