device-tree.bb: Add variable to override device tree padding size
Add DT_PADDING_SIZE variable which can override the default setting.
There are instances where it is necessary to change device tree padding
size.
@@ -37,6 +37,7 @@ KERNEL_DTS_INCLUDE_append_zynqmp = " \
DTS_FILES_PATH ?= "${S}"
DTS_INCLUDE ?= "${DTS_FILES_PATH} ${KERNEL_DTS_INCLUDE}"
+DT_PADDING_SIZE ?= "0x3000"
DEVICETREE_FLAGS ?= " \
-R 8 -p ${DT_PADDING_SIZE} -b 0 \
${@' '.join(['-i %s' % i for i in d.getVar('DTS_INCLUDE', True).split()])} \
