raspberrypi: use eabihf in defconfig