Secure Software Updates - Designing OTA Updates For Secure Embedded Linux Systems