After unveiling plans to launch a $199 Linux laptop with a Rockchip RK3399 processor earlier this year, the folks at Pine64 have been hard at work …