Turkish aircraft bombard separatist Kurdish rebels in northern Iraq following an earlier attack that killed nine Turkish troops.