The Quark X1000 SoC has been available for more than two years already as a single-core 400MHz x86 processor designed for wearable devices and other tiny, low-power applications. The Intel Galileo developer board is one of the many public devices utilizing an X1000. Back in 2014 we shared some Quark X1000 Linux benchmarks and Intel Edison benchmarks for those interested.
The news now is that Intel's Lee Leahy has added minimal Quark X1000 SoC support to Coreboot. It will be interesting to see what Coreboot Quark X1000 use-cases there are moving forward.