Fix interpreting `x_higher_priority_task_woken` value as a pointer

[agerasev]

Also:

• Require InterruptContext to be mutable to avoid introducing interior mutability.
• Add higher_priority_task_woken method to it to have a way to check the flag value.