libsel4: Explicitly generate number of invocation labels to handle case where there are no invocations
libsel4: Explicitly generate number of invocation labels to handle case where there are no invocations

cmr/seL4,cmr/seL4,zhicheng/seL4,cmr/seL4,zhicheng/seL4,zhicheng/seL4