1ff8393c4b
While it doesn't make sense to package a mainline kernel for FP1 (only UART and basic SoC components supported), it's good to include the dtb name in deviceinfo so external tools can use it.
1ff8393c4b