Don't include .note.gnu.build-id in final link

arm-linux-gnueabi-gcc tools add an extra section, .note.gnu.build-id, at the start
of an ELF file.  Unfortunately, the Program header includes this , preventing
REFOS from being able to run the program.  This patch adds --Wl,--build-id=none
to the non-kernel link flags on ARM.
Remove unsupported integratorcp platform.

As suggested by @jserv on https://github.com/seL4/seL4/issues/1