Merge pull request #522 from FrankBoesing/patch-1

add missing "WFI"

teensy4/startup.c

 	//printf("before setup\n");
 	main();
 	
-	while (1) ;
+	while (1) asm("WFI");
 }