Check stack frames are correctly cleared when hlt is called

We should ensure that the call to hlt instruction is only made after everything has been torn down so we do not leak anything.

An idea of how to implement such a fix can be found at PR comment.
Which basically says we should use minimal assembly that only calls a rust function and then runs hlt, which ensures anything has been torn down before calling hlt