Lorenzo Fontana 9c8737800a WORKSPACE_KERNEL environment variable
Needed because the werft build executor and the final workspace are not
guaranteed to run the same kernel.

Also simplified the scripts by using the workspace kernel coming from
the workspace's package manager directly instead of re-downloading.
2021-06-15 12:16:13 +02:00
..