Use explicit @cast() operators pointing to kernel for tapsets

Use explicit @cast() operators pointing to kernel for tapsets

Commit 00ee19ff030f665df7e087a579f39105256a0253 changed how @cast()
operations work and they no longer default to using the kernel
debuginfo for type information.  Need to include kernel as location for
this information for the  @cast() rather than just assuming a default.