arm-hyp: Pander to the C parser
arm-hyp: Pander to the C parser

The C parser will not accept a switch statement that just has a
default case. This change adds some more pre-processor gymnastics
to hide the 'switch' if it would result in this case.

cmr/seL4,cmr/seL4,cmr/seL4