Remove unnecessary GCC_MEMORY_BARRIER() at the end of GetGlobalInterruptMask(). Minor documentation improvements.