Recent versions of gcc are compiled with --enable-default-pie and must
be told not to create a position independent executable with the -no-pie
argument. Create a build script to do this in case a recent version of
rustc with the fix isn't installed.

See sel4-start#2