__wfi() function

Insert a WFI instruction in to the code path. The WFI (wait for interrupt) instruction waits for a interrupt to wake up the core.