This is an humble GNU AWK script to print out some CPU infos.