OLPC XO-1.75 - Use WFI instruction for idling, instead of the coprocessor variant that doesn't seem to be effective on MMP2.