[coreboot-gerrit] [S] Change in coreboot[master]: docker/coreboot-jenkins-node/Dockerfile: apt install sphinx