added CPUID code from rbench and get_cpl to be used by the