Consider how to handle race conditions between SW writes to `sambcs`.TF/BMI and HW updates of the same bits, when multiple/nested interrupts are raised.