On Tue, May 17, 2016 at 10:46 PM, Martin Roth <gaumless@gmail.com> wrote:
Hi,
  If you want bi-directional serial port in SeaBIOS, I think you need
to stick with the version from Sage. As far as I know, it's never been
supported in the upstream SeaBIOS version.


I have pulled this serial to keyboard mapping change from SageBIOS and posted on the seabios list today. Hitting ESC and changing boot media seemed to work.

BR,
Kyösti