tree c4eef592e94201c0848b485bfd31e7a676ae812a
parent ef9c854cbd8a9cae574418ff10f0e49a1552d653
author Sam Leffler <sleffler@google.com> 1692303977 -0700
committer Sam Leffler <sleffler@google.com> 1693415448 -0700

matcha_utils: stop loading cantrip-builtins from load_sel4

load_sel4 is used only when running on Renode; but Renode already loads
the builtins cpio archive with an explicit LoadFile so doing it here is
redundant.

Change-Id: I4a260178cd441d2c358e06c01cc0cc8719dfa419