How could we change the code to set/read the mxcsr value? _Originally posted by @dblnz in https://github.com/hyperlight-dev/hyperlight/pull/817#discussion_r2297780516_