Is such perf stuff supposed to go through x86-tip?Can someone pick these two up, please.Thanks, Thomas