configs/raspberrypi3: properly update kernel Git commit
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 21 Apr 2019 13:45:23 +0000 (15:45 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 21 Apr 2019 13:45:23 +0000 (15:45 +0200)
commit972140e27878f940e49ac604961a1994b39d7d42
tree01290c4936a1e288e89310a6d99142c77dafabe3
parentd9273b22e9c822d6302038a09b4b6767d51ab6ae
configs/raspberrypi3: properly update kernel Git commit

In commit ed02414e9cd271c0b0db26b8d5db1bf40ff416d3
("configs/raspberrypi*: bump kernel version to 5eeff139ea"), which
updated all RaspberryPi defconfigs to use Linux 4.19,
raspberrypi3_defconfig had its
BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_19 option updated, but not the
BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION, which still pointed to an
older Linux 4.14-based RPi kernel. This caused a build failure due to
the headers being more recent than the actual kernel being built.

This commit fixes that by using the same kernel version as all other
RPi defconfigs.

Fixes:

  https://gitlab.com/buildroot.org/buildroot/-/jobs/199339559

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
configs/raspberrypi3_defconfig