base-foc: fix 'core' build for Arndale

Fixes #671.
Skip Qemu execution for the Arndale platform

Fixes #672.
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.