ARM Linux compatibility fixes

+ refactored TERM_STATIC to fix incorrect packing of c_uint16 bit fields
+ linux2 platform now uses time.time instead of time.clock to measure perfomance