Collabora & Linux Kernel 4.13

Linux kernel 4.13 is out and – like in the 4.12 release – 12 Collabora developers contributed a total of 72 patches. These include adding device tree bindings for ARM Mali Midgard GPU and adding a matching node to a couple of development boards, some drm core cleanups by switching to drm_connector_list_iter for any connector_list walking, and further work on the virtual media controller driver, including refactoring code out of the core module.