Build PYNQ OS for ZCU102 with Yocto

Support
17

Hi @PeterOgden with the workaround we were able to load the overlay, but now get an error associated with interrupts:

dma = overlay.axi_dma_0
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/usr/lib/python3.7/site-packages/pynq/overlay.py", line 356, in __getattr__
    return getattr(self._ip_map, key)
  File "/usr/lib/python3.7/site-packages/pynq/overlay.py", line 861, in __getattr__
    driver = ipdescription['driver'](ipdescription)
  File "/usr/lib/python3.7/site-packages/pynq/lib/dma.py", line 190, in __init__
    super().__init__(description=description)
  File "/usr/lib/python3.7/site-packages/pynq/overlay.py", line 649, in __init__
    setattr(self, interrupt, Interrupt(details['fullpath']))
  File "/usr/lib/python3.7/site-packages/pynq/interrupt.py", line 98, in __init__
    _InterruptController.get_controller(parentname))
  File "/usr/lib/python3.7/site-packages/pynq/interrupt.py", line 159, in get_controller
    ret = _InterruptController(name)
  File "/usr/lib/python3.7/site-packages/pynq/interrupt.py", line 191, in __init__
    'for IRQ number {}'.format(number))
ValueError: Could not find UIO device for interrupt pin for IRQ number 0

I found this post: ValueError: Could not find UIO device for interrupt pin for IRQ number 0 which is very similar to our problem. I do have the proper entry in the device tree, but is there a way to check if the interrupt is binding to another entry first, or that I have the correct UIO device drivers compiled into the kernel? Thanks!