This commit adds a new hardware info API. With this API it is possible to read out the device ID. Signed-off-by: Alexander Wachter <alexander.wachter@student.tugraz.at>