Better get writing that ``__gdc_personality_seh0`` function then.  ;-)

Looks like minimal work, just need to define the kernel-specific types somewhere....