Read-only Raspberry Pi script: how to secure a micro SD card so nothing can be written to it