packaging: rpi3: separate rpi3 spec file for 32bit