Added support for Raspberry Pi 4 Model B

machines/RASPBERRY-PI-4-B/definition.xml

+<project name="Raspberry Pi 4 Model B machine definition">
+
+ <property name="PRETTY_NAME" value="${ant.project.name} for Raspberry Pi 4 Model B"/>
+ <property name="CLFS_TARGET" value="aarch64-broadcom-linux-gnueabi"/>
+ <property name="ARCH" value="arm64"/>
+ <property name="GCC_CROSS_CONFIG" value="--with-arch=armv8-a+crc+nocrypto --with-cpu=cortex-a72"/>
+ <property name="GCC_CONFIG" value="${GCC_CROSS_CONFIG}"/>
+ <property name="CONSOLE" value="ttyAMA0"/>
+ <property name="DISK_LABEL" value="mbr"/>
+ <property name="ROOT_DEVICE" value="mmcblk0"/>
+ <property name="DISK" value="${ROOT_DEVICE}p"/>
+ <property name="SECONDARY" value="mmcblk1p"/>
+ <property name="BOARD" value="raspberry-pi-4-b"/>
+ <property name="DEVICE_TYPE" value="RaspberryPi4ModelB"/>
+ <property name="GOARCH" value="arm64"/>
+ <property name="SHUTDOWN_WATCHDOG" value="15s"/>
+ <property name="RUNTIME_WATCHDOG" value="15s"/>
+
+ <target name="run-system-raspberry-pi-4-b">
+  <antcall target="run-system-armv8"/>
+ </target>
+
+ <target name="run-system-with-secondary-raspberry-pi-4-b">
+  <antcall target="run-system-with-secondary-armv8"/>
+ </target>
+
+</project>