Use JTAG tools to get root on a Raspberry Pi