Working version of x264 with timings for microblaze