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