Add sections on `interrupt-mutex` and `interrupt-ref-cell`

[mkroening]

Thanks a lot. :)