forked from Imagelibrary/rtems
The AArch64-specific timer selection mechanism was using the wrong macro for selecting the timer interrupt and would therefore partially ignore configurations that selected the use of virtual timers. The virtual timer will now be used correctly when selected.