[OpenBIOS] [PATCH 5/7] ciface.fs: implement optional (exit) hook when returning control back to the interpreter