armv8: Start with all interrupts disabled
[barrelfish] / kernel / arch /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - armv7
drwxr-xr-x - armv8
drwxr-xr-x - k1om
drwxr-xr-x - x86
drwxr-xr-x - x86_32
drwxr-xr-x - x86_64