  # Kernel extra targets to build
    KERNEL_UBOOT_EXTRA_TARGET="gxbb_p200.dtb"
