[tedunangst]

This is how openbsd binary patches for the kernel work. The changed object files are shipped; the end system relinks a new kernel.