raspberrypi: build kernel with float-abi hard and vfp