Re: [PATCH v3 18/28] rockchip: rk3588-coolpi: Fix .dtb-file entries in Makefile