PINE A64 is a $15, 'high-performance' take on the Raspberry Pi