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

Job	Run time
build (ubuntu-24.04, 12.6.0, 13, bash, Unix Makefiles)	1m 39s
build (ubuntu-24.04, 12.5.1, 13, bash, Unix Makefiles)	1m 33s
build (ubuntu-20.04, 12.6.0, 10, bash, Unix Makefiles)	1m 42s
build (ubuntu-20.04, 12.5.1, 10, bash, Unix Makefiles)	1m 36s
build (ubuntu-20.04, 12.4.1, 10, bash, Unix Makefiles)	1m 36s
build (ubuntu-20.04, 12.3.1, 10, bash, Unix Makefiles)	1m 30s
build (ubuntu-20.04, 12.2.2, 10, bash, Unix Makefiles)	1m 28s
build (ubuntu-20.04, 12.1.1, 10, bash, Unix Makefiles)	1m 33s
build (ubuntu-20.04, 12.0.1, 10, bash, Unix Makefiles)	1m 38s
build (ubuntu-20.04, 11.8, 10, bash, Unix Makefiles)	1m 33s
build (ubuntu-20.04, 11.7, 10, bash, Unix Makefiles)	1m 27s
build (ubuntu-20.04, 11.6.2, 10, bash, Unix Makefiles)	1m 25s
build (ubuntu-20.04, 11.6.1, 10, bash, Unix Makefiles)	1m 25s
build (ubuntu-20.04, 11.6, 10, bash, Unix Makefiles)	1m 27s
build (ubuntu-20.04, 11.5, 10, bash, Unix Makefiles)	1m 24s
build (ubuntu-20.04, 11.4, 10, bash, Unix Makefiles)	1m 23s
build (ubuntu-20.04, 11.3, 9, bash, Unix Makefiles)	31s
build (ubuntu-20.04, 11.2, 9, bash, Unix Makefiles)	36s
build (ubuntu-20.04, 11.1, 9, bash, Unix Makefiles)	28s
build (ubuntu-20.04, 11.0, 9, bash, Unix Makefiles)	28s
	26m 22s

Provide feedback