update interrupt vector name for gcc >=4.7.x