Minor style fix
Spelling fix (thanks @udosteinberg)
base-foc: Improve documentation of signal_session

Fixes #566.
Use mkisofs to create ISO images

mkisofs is the original ISO creation tool from cdrtools available on
many UNIX systems. genisoimage on the other hand is part of a mostly
unmaintained fork of cdrtools very specific to Debian Linux and its
derivates (e.g., Ubuntu). Fortunately, genisoimage (as we used it) is
completely invocation-compatible to mkisofs.

Fixes #627.
libports: fix missing clean-libiconv target

Fixes #681
libports: workaround for downloading libssh

Since checking if the certificate is valid is not that important
(we currently do not check the signature of the archive which is the
bigger issue) we disable the checking to prevent certain wget version
from refusing to download the archive.

Fixes #681
libports: enable SSL in curl

Fixes #681
nova: support to run script automatically with AMT

This enables us to use the run scripts applied to a native machine equipped
with Intel's AMT. If the environment variables are correctly set up, the remote
test machine is reseted via 'amttool', then via 'amtterm' the serial output
is collected and the normal run script matching pattern for success/failure of
the run script are applied.

'amttool' and 'amtterm' are part of the package called 'amtterm' shipped with
the Linux distributions like Ubuntu, Debian and lot more.

Following environment variables are required, to run the run scripts with a
native AMT test machine:

PXE_TFTP_DIR_BASE   - absolute path of TFTP directory
PXE_TFTP_DIR_OFFSET - relative path to PXE_TFTP_DIR_BASE where the config file
                      will be generated - named 'config-00-00-00-00-00-00'

AMT_TEST_MACHINE_IP  - TCP/IP address of target AMT test machine
AMT_TEST_MACHINE_PWD - password of target AMT test machine

Issue #679
Fix l4linux block driver for large partitions

Fixes #678
atapi_drv: Add LBA48 support

Fixes #678
nova: improve page fault debugging messages

Ease debugging.

Fixes #674
Noux bash test using the KDB terminal

Related to #665.
Fiasco(.OC) KDB terminal

The KDB terminal uses the Fiasco(.OC) kernel debugger console as backend
for input and output. This is useful in the case that only one UART is
available.

Fixes #665.
expect_stdin_test.diff