Set Raspberry Pi hostname at startup based on GPIO jumpers