I think this is a good idea. All in favor of static alloction raise their hands W-(^.^)-W...
Bug in portRESTORE_CONTEXT() on AVR32