Fix aarch64 timer interrupt configuration#2585

Gelbpunkt wants to merge 2 commits into

hermit-os:mainhermit-os/kernel:mainfrom

Gelbpunkt:aarch64-timer-fixesGelbpunkt/kernel:aarch64-timer-fixesCopy head branch name to clipboard