kernel - Add MONITOR/MWAIT support to the LWKT scheduler