This configuration builds a 64bit image for RaspberryPi 4. Signed-off-by: Arthur Courtel <arthur.courtel@smile.fr> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>