ARM_APPENDED_DTB is actually not needed. It is often confused with BUILD_ARM_APPENDED_DTB_IMAGE, which you'll need for pmos to work on most android devices.