I have a few ARMs with real VFP. What is the state of VFP support in NetBSD? Does it work? Should it work?