unbreak "make dos" in boot (Bug#365, patch by Antoine Leca)
unbreak "make dos" in boot (Bug#365, patch by Antoine Leca)

veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi