[seL4] [PATCH] trivial: remove redundant newline in fail() calls.

19 Sep 2014

      Hello,

I have noticed certain fail() calls include newline. This does not seem
necessary since fail() is defined as
    printf(
        "seL4 called fail at %s:%u in function %s, saying \"%s\"\n",
        file,
        line,
        function,
        s
    );

Which causes affected error messages to contain a single " character on a
new line.

Patch attached.

Regards,
Eduard Nicodei