In armv7 arch, floating point context save/restore flow not work in our system, because VFEXC_EN bit in fpexc register was set before openbsd booting, so vfp_fault function never called. For robustness consideration, I suggest that VFPEXC_EN bit should be initialized to zero in vfp_init function.
