[Buildroot] [PATCH] configs: nexbox_a95x_defconfig: bump to kernel 4.12

[Thomas Petazzoni <thomas.petazzoni@free-electrons.com>]

Hello,

On Wed, 12 Jul 2017 14:23:22 +0200, Peter Korsgaard wrote:
> Main difference is that the drm driver now supports the hdmi output.
> 
> The gxl variant device tree has been renamed in:
> 
> commit 7eea67101b9713ae438955e8899b3c4b078419f9
> Author: Kevin Hilman <khilman@baylibre.com>
> Date:   Fri Jan 20 07:57:52 2017 -0800
> 
>     ARM64: dts: meson-gxl: rename Nexbox A95x for consistency
> 
>     Since the GXL family has S905X and S905D SoCs, we're keeping the SoC
>     name in the DTS filename for clarity.  Rename this file accordingly to
>     be consistent with the rest of the GXL DTS files.
> 
>     Cc: Neil Armstrong <narmstrong@baylibre.com>
>     Reviewed-by: Andreas F?rber <afaerber@suse.de>
>     Signed-off-by: Kevin Hilman <khilman@baylibre.com>
> 
> So adjust the defconfig and boot script to match.
> 
> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
> ---
>  board/nexbox/a95x/boot.txt     | 2 +-
>  board/nexbox/a95x/genimage.cfg | 2 +-
>  configs/nexbox_a95x_defconfig  | 6 +++---
>  3 files changed, 5 insertions(+), 5 deletions(-)

Applied to master, thanks.

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com