In User Manual video they connect to the device and it shows some info about it. The core is certainly what you guessed.

Model: TP-Link TL-MR3020 v1 Firmware: OpenWrt Barrier Breaker 14.07 / LuCI (0.12+svn-r10530) Kernel: 3.10.49