Just out of curiosity -- where do you want to get the not publicly available L4 x86-assembly kernel from to actually being able to redo the measurements? It is intellectual property of a company and not downloadable anywhere.
Furthermore, if you redo the measurements on different hardware and you read the "On mk construction" paper you should know that MKs (at least L4 MKs) are highly optimized for one particular architecture. Hence, even when having the kernel and running it on different hardware your numbers are bogus and do not state anything except that you get a set of more numbers...