Riccardo Pittau f32a5b85b4 Restore default netboot boot option
We changed the default boot option to local but should be netboot
for this job.

Change-Id: Ie76efb2f9c66a37eb3c490264f57595ab23c114d
2020-04-27 16:10:45 +02:00
..