[OpenBIOS] [PATCH] Ensure saved context pointers in switch_to() for all archs are marked as volatile