WIP: Rpi3 (#20)

* initial

* Update kernel

* Cleanup

* Update info

* Update barebox.config

* Update kernel.config

* Update kernel config

* Fix docker

* Create linux.config

* Rename buildroot-external/board/ova/barebox-env/boot/system0 to buildroot-external/barebox-env/boot/system0

* Rename buildroot-external/board/ova/barebox-env/boot/system1 to buildroot-external/barebox-env/boot/system1

* Rename linux.config to kernel.config

* Update kernel.config

* Update kernel.config

* Update ova_defconfig

* Update rpi3_defconfig

* Update ova_defconfig

buildroot-external/board/rpi3/barebox.config

@@ -0,0 +1,43 @@
+# CONFIG_LOCALVERSION_AUTO is not set
+CONFIG_MMU=y
+CONFIG_MALLOC_SIZE=0x0
+CONFIG_MALLOC_TLSF=y
+CONFIG_PROMPT="HassOS-boot:"
+CONFIG_CMDLINE_EDITING=y
+CONFIG_AUTO_COMPLETE=y
+CONFIG_MENU=y
+# CONFIG_TIMESTAMP is not set
+CONFIG_BOOTM_SHOW_TYPE=y
+CONFIG_FLEXIBLE_BOOTARGS=y
+# CONFIG_PARTITION_DISK_DOS is not set
+CONFIG_PARTITION_DISK_EFI=y
+# CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
+# CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
+CONFIG_DEFAULT_ENVIRONMENT_PATH="/build/buildroot-external/board/ova/barebox-env /build/buildroot-external/barebox-env"
+CONFIG_STATE=y
+CONFIG_BOOTCHOOSER=y
+# CONFIG_CMD_VERSION is not set
+CONFIG_CMD_BOOT=y
+CONFIG_CMD_UIMAGE=y
+CONFIG_CMD_AUTOMOUNT=y
+CONFIG_CMD_NV=y
+CONFIG_CMD_EXPORT=y
+CONFIG_CMD_GLOBAL=y
+CONFIG_CMD_BASENAME=y
+CONFIG_CMD_DIRNAME=y
+CONFIG_CMD_READLINK=y
+CONFIG_CMD_GETOPT=y
+CONFIG_CMD_MENUTREE=y
+CONFIG_CMD_TIMEOUT=y
+CONFIG_CMD_DETECT=y
+CONFIG_CMD_STATE=y
+CONFIG_CMD_BOOTCHOOSER=y
+# CONFIG_SPI is not set
+CONFIG_DISK=y
+CONFIG_DISK_WRITE=y
+CONFIG_CLOCKSOURCE_EFI=y
+CONFIG_FS_FAT=y
+CONFIG_FS_FAT_WRITE=y
+CONFIG_FS_FAT_LFN=y
+CONFIG_FS_SQUASHFS=y
+CONFIG_LZ4_DECOMPRESS=y