Restore Raspberry Pi support lost in ed33108

Patch by derhass.