Updated RISC-V boot sequence; use 8KB pages