The kernel now includes the rpi3b+ device tree for aarch64 Signed-off-by: Martin Bark <martin@barkynet.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>