Fixed tick timer interrupt reporting by using TTCR[IP] bit.
treee868ad65240f45ed04b493aa44c5ad36243786a3
drwxr-xr-x - bench
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - rtl
drwxr-xr-x - sim
drwxr-xr-x - syn