4x faster than the fastest processor on that "x200 libreboot device I am
I highly doubt it would be nearly that fast (at least for "general computing").
Intel is on about the same ballpark as the big arm tablet chips but they can't shrink it any further. They got this low simply from node shrinks,
I think we're talking about different things: the X200 is a laptop from a several years ago, so it's unaffected by Intel's current performance: the kinds of processors it can take has been frozen for many years already (and they're much more power hungry than the RK3288, AFAIK).
Stefan "owner of a X201s which runs about 8 times faster than a Cubietruck when compiling Elisp code. I would expect the RK3288 to be maybe 4 times faster than the A20 on this benchmark (twice the number of cores and twice higher frequency), so to get to «4x faster» it would need another factor 8 on this particular test, which seems highly unlikely"