opensbi/lib/utils/i2c/objects.mk