armv7: disable vfp instructions for the cpu driver
armv7: disable vfp instructions for the cpu driver

Some compiler generates vfp instructions such as vpush, vldr for normal code in
cpu driver, which introduces complexity (related to fpu state).  I propose a
patch which disables vfp instructions in cpu driver code.

mslovy/barrelfish,kishoredbn/barrelfish,linusyang/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,8l/barrelfish,linusyang/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,linusyang/barrelfish,8l/barrelfish,mslovy/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,kishoredbn/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,linusyang/barrelfish,8l/barrelfish,utsav2601/cmpe295A,kishoredbn/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,8l/barrelfish,kishoredbn/barrelfish