Hardware/Software Co-Design for Efficient Microkernel Execution