[OpenBIOS] Implementing a second return stack