I even thought about buying a pinebook pro with Rockchip 3399 and if the Rockchip 3399 socket is the same as the FU540-C000 from sifive, I could change it.