KBUILD_DEFCONFIG_raspberrypi3-64-rt = "bcmrpi3_defconfig"