K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2012-01-31T17:51:30.398402Z
K 7
svn:log
V 100
- Restore XCR0 before restoring extended FPU states.
- Update my copyright dates.

Reviewed by:	kib

END