Fix GCC build including define of ARMCC intrinsic __disable_irq

Change-Id: I13ca92e54d8f752cca18f5c75ac026526419edbe