Also, set RAM_VSTART, because we have vaddr=paddr mapping. Otherwise RAM_VSTART gets its default value which is 0.