K 10
svn:author
V 6
jkoshy
K 8
svn:date
V 27
2007-01-27T18:13:24.000000Z
K 7
svn:log
V 344
Use a known good stack at the time of servicing an NMI --- reuse
the space allocated for the double fault handler since this space
is otherwise unused till the time a double fault occurs.

This change should have been committed alongside r1.127 of
"exception.S", but I somehow missed doing so.

Problem reported by:	jeff
Pointy hat to:		jkoshy

END