driverkit: disable HW model debug output

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

vmkit: fixing test

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

driverkit: split library into two parts: generic and iommu part

currently iommu part is still x86_64 specific and won't work on
ARMv7/ARMv8

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

hwmodels: adapt to the changed decoding net interface

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

libdriverkit: adding missing header file changes

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Print all the model queries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: move xeon phi special cases to xeon_phi hwmodel

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add reverse resolve func

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Integrate Xeon Phi address translation query

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

driverkit: better handling of node ids

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Integrate new model queries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

hwmodels: adding separate file in the driver kit to handle queries

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>