devkit: Use a properly named job building from master
Insted of grabbing the kernel from a job that builds from another branch use the build job introduced with
5e896d73da5e75ddef633ab6283310a7ab90d170
WIP since I'm waiting for tests to finish
Edited by Guido Gunther