MFC r276519:
Define a WFI macro that expands to the right form of wait-for-interrupt depending on the architecture.