I can confirm that this patch fixes the problem when applied on top of seabios 1.8.1.
Thanks!
Looking at the patch, it seems like it'd be non-trivial to backport this to apply to 1.7.4, so I think I'll ask the Ubuntu packager to disable the extra stack on Ubuntu Trusty.