Fixes #686: Can now specify which context to load a library kernel in… #740

Job	Run time
build (ubuntu-24.04, 12.6.0, 13, bash, Unix Makefiles)	28s
build (ubuntu-24.04, 12.5.1, 13, bash, Unix Makefiles)	27s
build (ubuntu-20.04, 12.6.0, 10, bash, Unix Makefiles)	34s
build (ubuntu-20.04, 12.5.1, 10, bash, Unix Makefiles)	37s
build (ubuntu-20.04, 12.4.1, 10, bash, Unix Makefiles)	52s
build (ubuntu-20.04, 12.3.1, 10, bash, Unix Makefiles)	36s
build (ubuntu-20.04, 12.2.2, 10, bash, Unix Makefiles)	33s
build (ubuntu-20.04, 12.1.1, 10, bash, Unix Makefiles)	36s
build (ubuntu-20.04, 12.0.1, 10, bash, Unix Makefiles)	33s
build (ubuntu-20.04, 11.8, 10, bash, Unix Makefiles)	1m 28s
build (ubuntu-20.04, 11.7, 10, bash, Unix Makefiles)	1m 17s
build (ubuntu-20.04, 11.6.2, 10, bash, Unix Makefiles)	1m 10s
build (ubuntu-20.04, 11.6.1, 10, bash, Unix Makefiles)	1m 8s
build (ubuntu-20.04, 11.6, 10, bash, Unix Makefiles)	1m 1s
build (ubuntu-20.04, 11.5, 10, bash, Unix Makefiles)	1m 9s
build (ubuntu-20.04, 11.4, 10, bash, Unix Makefiles)	1m 3s
build (ubuntu-20.04, 11.3, 9, bash, Unix Makefiles)	33s
build (ubuntu-20.04, 11.2, 9, bash, Unix Makefiles)	31s
build (ubuntu-20.04, 11.1, 9, bash, Unix Makefiles)	31s
build (ubuntu-20.04, 11.0, 9, bash, Unix Makefiles)	38s
	15m 45s

Provide feedback