fix some bugs in the linux boot code.
5 files changed