src/tools/hppa-mkboot