Upstream has a new patch that fixes this without any known breakage. I tested it and confirmed it fixes things for me. However, it doesn't apply to 1.7.4. I propose setting CONFIG_VGA_ALLOCATE_EXTRA_STACK=n until the next seabios release after 1.8.1.
Upstream has a new patch that fixes this without any known breakage. I tested it and confirmed it fixes things for me. However, it doesn't apply to 1.7.4. I propose setting CONFIG_ VGA_ALLOCATE_ EXTRA_STACK= n until the next seabios release after 1.8.1.