A bit cleaner set_interrupt_state()
- Fixing indenting of some inline assembly code
- Loop in test_and_set if strex failed