Clarifies microkernel section and conclusion of KWAG post.