opensbi

scripts: use env to invoke bash

lib: sbi: Synchronize PMP settings with virtual memory system

lib: fix irqchip_plic_update_hartid_table

lib: fix __fdt_parse_region()

lib: fix is_region_valid()