Merge 8088 Linux changes