BPI-F3 (SpacemiT K1, X60) poly1305 benchmark