[coreboot-gerrit] [XS] Change in coreboot[master]: util/docker: Add docker-jenkins-shell target