dde_linux: remove bogus semicolon
ddekit: remove sleep_forever in dde_kit_debug

The way this function is currently used in dde_linux expects this
function to return. Since there is dde_kit_panic it should better
be used in such a case the output should block.
dde_linux: list all patches explicitly

The shell wildcard prevents PATCH_OPT(foo) from working.
dde_linux: add wifi stack and driver to port file

All needed targets are added to the port file, including used patches.
wifi: add wifi lib

The library contains the Linux mac80211/cfg80211 stack as well as the
iwlegacy and iwlwifi driver.
wifi: add wifi drv

This is the actual wifi_drv binary. It depends on the wifi library and
the wpa_supplicant library.
wifi: add wifi runscript
dde_linux: add libnl to port file
libnl: initial port
dde_linux: add wpa_supplicant to port file
wpa_supplicant: initial port
wpa_driver_nl80211: add nl80211 driver

This driver backend is used by wpa_supplicant to manage a wireless
device on Linux through the nl80211 interface.

On Genode the driver depends on the libnl port, which provides a
stripped-down Linux userspace emulation environment.
wifi: restrict iwlwifi driver table [XXX]

For now, only include devices in the table we can actually test.