There is actually another possibilty which your not going to like.
That is that they have statistical data to back up that cockups with GPS are a major factor in loosing SA and busting airspace.
It all comes down to what the pilot says after they get thier collar felt post event.
Do these box's with airspace warnings take into account altitude when they give a warning?