I'm really confused now: if I power-down the TP2, remove the SD card, and power it back up then I get an orange blinking LED on the board and no serial output at all. WIth an SD card inserted (with @j0ju's image written to it) then I get the above output. What does failling to boot or produce serial output (... and I'm certain about this, I've just tried several times!) without an SD card present indicate? 😯