Fix incorrect usage of device_dmi in context_acquire_device_tree(). Follow-up for 3e91aed6c4.
3e91aed6c4