add wfi.s, assemble in Makefile, call wfi() from main.c