Merge branch 'toolchain1604'.

This pulls in the changes that are needed to build and test Barrelfish on
Ubuntu 16.04.

Closes T211.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --cc hake/Config.hs.template
Simple merge

diff --cc hake/Tools.hs
Simple merge

diff --cc hake/X86_32.hs
Simple merge

diff --cc tools/harness/tests/common.py
index e73d128,53dc3c9..aa6548c
--- 1/tools/harness/tests/common.py
--- 2/tools/harness/tests/common.py
+++ b/tools/harness/tests/common.py
@@@ -7,10 -7,10 +7,11 @@@
  # ETH Zurich D-INFK, Universitaetstr 6, CH-8092 Zurich. Attn: Systems Group.
  ##########################################################################
  
- import os, shutil, select, datetime, fdpexpect, pexpect
+ import os, shutil, select, datetime, pexpect, tempfile, signal
+ from pexpect import fdpexpect
  import barrelfish, debug
  from tests import Test
 +from harness import RAW_FILE_NAME as RAW_TEST_OUTPUT_FILENAME
  
  DEFAULT_TEST_TIMEOUT = datetime.timedelta(seconds=360)
  DEFAULT_BOOT_TIMEOUT = datetime.timedelta(seconds=240)
@@@ -267,8 -266,8 +295,8 @@@ class InteractiveTest(TestCommon)
          fh = machine.get_output()
  
  
-         self.console = fdpexpect.fdspawn(fh, timeout=self.test_timeout)
+         self.console = SignalledFdSpawn(fh, timeout=self.test_timeout)
 -        self.console.logfile = tempfile.NamedTemporaryFile()
 +        self.console.logfile = open(os.path.join(self.testdir, RAW_TEST_OUTPUT_FILENAME), 'wb+')
  
          while self.boot_attempts < MAX_BOOT_ATTEMPTS:
              index = self.console.expect(["Barrelfish CPU driver starting", 

diff --cc tools/harness/tests/coreboottest.py
Simple merge