pmaports/device/device-raspberry-pi/device-raspberry-pi-kernel-rpi.post-install

#!/bin/sh

kernver=$(cat /usr/share/kernel/rpi/kernel.release)
cd /usr/lib/linux-${kernver}/
find . -type f -regex ".*\.dtbo\?$" -exec install -Dm644 {} /boot/{} \;