Load kernel in 0x84000000 address

Booting the kernel works, but by manually specifying the address.

README.md

@@ -11,3 +11,9 @@ Then run the boot script:
 ```
 $ ./boot.sh
 ```
+
+In u-boot use the following to boot:
+
+```
+=> booti 0x84000000 - ${fdtcontroladdr} 
+```

boot.sh

@@ -64,7 +64,7 @@ exec qemu-system-riscv64 \
     -device virtio-keyboard \
     -drive "file=$NIX_DISK_IMAGE,if=none,id=hd0" \
     -device virtio-blk-device,drive=hd0 \
-    -device loader,addr=0x40000000,file=$system/kernel \
+    -device loader,addr=0x84000000,file=$system/kernel \
     -kernel $system/kernel \
     -initrd $system/initrd \
     -append "$(cat $system/kernel-params) init=$system/init regInfo=/nix/store/x3zpwfbk2wkiisxhgi7zwsfwbdfxk0w1-closure-info-riscv64-unknown-linux-gnu/registration console=ttyS0,115200n8 loglevel=7 $QEMU_KERNEL_PARAMS"