How much faster is your C++ Linux kernel?