Re: [coreboot] [PATCH] IRQ service is not returned back.

[Myles Watson]

> The basic IRQ handler that is serviced by x86emu module is not
> returned back to caller.
> So must be patched.

I think this patch could use some more explanation, since it's not intuitive
to set SS to initialcs instead of STACK_SEGMENT.  It doesn't look right.

Thanks,
Myles