[Bug 1087791] Image ARM-JeOS-raspberrypi2.armv7l-2018.03.31-Build3.3 does not boot