/roms/opensbi/platform/thead/