/ reform / openbsd / reform-openbsd / drivers / firmware Kconfig Makefile arm-ffa/ firmware-sandbox.c firmware-uclass.c firmware-zynqmp.c psci.c scmi/ ti_sci.c ti_sci.h ti_sci_static_data.h