dde_kit: enable pci lookup by device_class

Instead of trying all PCI devices by a specific PCI driver, now the device or
the device class can be limited to the one actually supported by the specific
driver.
dde_kit: support to allocate DMA buffer per device
dde_ipxe: alloc DMA memory via dde_kit
lwip: adjust run script to run with new pci_drv
nova: don't try to prepare UTCB in case of vCPU

vCPU has no UTCB.

Fixes #673
nova: optimize unmap path

Directly unmap memory range instead of looking first it up and then unmap it.

Prerequisite for #675
nova: zero out space behind rom modules

Fixes #675
vancouver: adjust run script to use acpi+iommu
doc: Update components.txt
Release notes for Genode 13.02
News item for Genode 13.02
Minor style fix
Spelling fix (thanks @udosteinberg)
atapi_drv: Add LBA48 support
Fix l4linux block driver
Merge branch 'staging' of github.com:Ksys-labs/genode into staging

Conflicts:
	ports-foc/src/drivers/genode_block.c
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