02f90f3b3c
wasteful, but better than clobbering the variables below the stack. About 300 bytes of variables were clobbered when I examined double faults using ddb. Perhaps a page that is known not to be accessed by the double fault handler could be used. Such pages are not easy to find, since the double fault handler calls panic() which calls sync() and possibly dumpsys().