Get 8088 running under Linux