BPI-F3 (SpacemiT K1, X60) LUT4 benchmark