[FS#56] netgear wndr4300 and wndr3700v4 not being built by the buildbot - Comment added

[LEDE Bugs]

The following task has a new comment added:

FS#56 - netgear wndr4300 and wndr3700v4 not being built by the buildbot
User who did this - arjendekorte (arjendekorte)

----------
Could this have to do with the following change the name of the targets? I usually build from source and create a .config file through

./scripts/config/conf --defconfig=config.seed Config.in

Somewhere between these revisions I noticed that the target no longer built. After running 'make menuconfig' and diff'ing, I noticed the following change:

--- 799/config.seed     2016-06-23 23:05:45.253047639 +0200
+++ 1003/config.seed    2016-06-30 21:25:04.564939139 +0200
@@ -1,6 +1,6 @@
 CONFIG_TARGET_ar71xx=y
 CONFIG_TARGET_ar71xx_nand=y
-CONFIG_TARGET_ar71xx_nand_WNDR4300=y
+CONFIG_TARGET_ar71xx_nand_DEVICE_WNDR4300=y
 CONFIG_DROPBEAR_ECC=y
 # CONFIG_KERNEL_CRASHLOG is not set
 # CONFIG_KERNEL_DEBUG_INFO is not set

I have no clue if this was change was intentional and/or if this might cause the imagebuilder to no longer build this target.
----------

More information can be found at the following URL:
https://bugs.lede-project.org/index.php?do=details&task_id=56#comment127