i7core: fix get_devices routine for Xeon55xx