dde_linux: check tools needed for libnl
seoul: adapt to nitpicker and use fixed seoul repo

Fixes #1307
Revert "foc: relax parsing of boot process termination"

This reverts commit a9a6e8df895d8663ce309dcc4094eed127707e01.

Setting correct UART parameters in U-Boot also fixes the issue and
reenables us to observe L4 bootstrapper startup.
dde_ipxe: enable Intel I218-LM/I218-V PCI ID

Commit inspired by patch from @alex-ab/@cnuke but uses only one patch
file for all added NICs.

Issue #1220
run: avoid buffering of output for expect

Due to commit "run: relax IP power plug recognition + serial EOF",
when piping the serial command through 'tr', some characters might
get buffered, thereby preventing some run scripts to finish correctly.
This commit removes the 'tr' hack. Instead, to circumvent the 'expect'
problem, which kills under special conditions spawned childs used to
obtain serial line content, whenever EOF of the serial command is
recognized during the boot phase, the child process gets re-spawned.
vbox: enable 1-byte MMIO writes at 4-/8-byte aligned address

Fixes #1318
vbox: support more graphic modes

Fixes #1319
libc_vfs: add tests for directory name with trailing slash

See genodelabs/genode/#1330