K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2018-05-18T13:28:02.044979Z
K 7
svn:log
V 189
Instead of ignoring the VFP registers, set the dumppcb's pcb_fpusaved
field, so that they are saved, as they may be used in the kernel, in the
EFI and the crypto code.

Reviewed by:	andrew

END