[U-Boot] [PATCH 4/4] doc: ae250: Describe riscv-linux booting via u-boot