x86 binaries are linked at 0x08000000, so we need to let them get mapped there.
mentioned in commit 8c0727af