Dear all,

When I try to add the overlay for the sc16is752-spi0 to my image, it fails at the task do_image_wic with the following error:

| ERROR: Malformed boot file entry: sc16is752-spi0.dtbo;

I am using the kernel provided by meta-raspberrypi and add the following to my board configuration:

RPI_KERNEL_DEVICETREE_OVERLAYS += " \

    overlays/uart0.dtbo \

    overlays/sc16is752-spi0.dtbo \

    overlays/sdio.dtbo \

    overlays/i2c-rtc.dtbo \

    "