Securing access to debug_shell from Raspberry Pi UART