Milestone Performance Benchmarks

Run both micro-benchmarks on the use of x86 specific features (such as call gates), and macro-benchmarks on the entire kernel in multiple scenarios to gauge the performance hit from the additional kernel features. Add a website page with these statistics.