matcha/tock: tidy console messages

- pedantic (sel4 -> seL4)
- terminate lines w/ \r\n to avoid console config issues
- remove debug stuff (maybe should be feature-gated)

Change-Id: I1685db52c146ee422b7728ce0c6ec3a3b0deecd1