Fix VFP updates to match current kernel