Using generic ISR declaration for WSN430 boards.