Don't hardcode vCPU ID

[dreamliner787-9]

With the introduction of microkit_sdf_gen and support in https://github.com/au-ts/libvmm/pull/146, we could get rid this: https://github.com/au-ts/libvmm/blob/150556d4b2787ea4d294ee90e3ff4817cd900b8a/include/libvmm/util/util.h#L16

And have the user provide the vCPU's ID as that data is provided by the tool. Because currently, if the user set the vCPU ID to anything other than zero in the metaprogram, a null cap invocation is triggered when the vCPU is resumed on VMM boot.