EnergyMicro/EFM32GG_DK3750 — pull request #1 by ukleinek (2013-07-18 08:43:06+00:00)
Title: Fix BC irq handling (a bit)

You have to clear the gpio irq first, otherwise you open a race window
where you already cleared the BC_INTFLAG and a new irq happens before you
are able to clear the gpio irq.

Note that there is a hardware introduced race window in BSP_InterruptFlagsClear
which obviously isn't fixed here.