SAMA5D4 ADC driver - do you know a Linux image that has the driver?

For the Enchanted Objects Design ChallengeI'm trying to get the ADC Hardware Trigger mechanism working.

I have difficulties with the ADC driver. I am unsure if the 4.7 and 4.6 linux Yocto Poky images have that driver installed.

I have 3 questions :

Is the ADC driver for the sama5d4 included in those Yocto Poky images?

If yes, what's the name of the driver (is it at91_adc)?

If no, is there an image around with the ADC included, or is there a way to get the driver installed on my board running that Yocto Poky image?

Here's the blog post that shows what I'm dong: Review 9b: Atmel SMART SAMA5D4 Xplained Ultra - Set up ADC Buffer with Hardware Trigger Part 2

I have issues when the buffer read tool generic_buffer tries to load the driver:

Here's where the code fails:

    /* Find the device requested */  
    dev_num = find_type_by_name(device_name, "device");  
    if (dev_num < 0) {  
        printf("Failed to find the %s\n", device_name);  
        ret = -ENODEV;  
        goto error_ret;  
    }  
    printf("iio device number being used is %d\n", dev_num); 

Error

Failed to find the at91_adc