An attempt to combine FPU regcache writebacks with VSTMIA. Disabled due to bugs.