Documentation: riscv: Update boot image header since EFI stub is supported