OpenWSN-ready Raspberry Pi distribution