Ответ: В том порте при переключении контекста при выходе из прерывании неправильно корректируется указатель стека. Об этой проблеме у Лябрусса четко сказано. Но этот порт сырой, они его не тестировали как следует. Проще всего самому разобаться с этим и ручками исправить - там буквально одна команда.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)