raspberrypi: enable orc in defconfig