Gonk definition of Raspberry Pi build target.