Den NE555 könntest du dir sparen, die 37kHz oder was du verwendest sollte der Atmel auch können zumal diese Frequenz nicht sehr heikel ist.
Der 8535 kommt mir etwas übertrieben vor, oder machst du auch noch was anderes damit. Hast du schon mehr mit diesem Kontroller gemacht.