altoslib: Add symbols to .ihx files