/tools/hppa-mkboot/