Signed-off-by: Indan Zupancic <[email protected]>

Depending on the generated code of seL4_MessageInfo_new(), it may
or may not clobber r0/x0.

Perhaps only a problem for RELEASE=OFF builds, but it makes
debugging other problems harder by adding myserious crashes.

Signed-off-by: Indan Zupancic <[email protected]>

The function will return and crash because there is nothing to
return to and apparantly the sel4runtime doesn't implement a
soft landing.

Test still works with crashing processes and with debugging
disabled it's invisible. But very confusing when trying to
debug any kind of other problems and enabling debugging.

Signed-off-by: Indan Zupancic <[email protected]>