armv5: make cpu driver run again.
[barrelfish] / include / target / arm /
drwxr-xr-x   ..
drwxr-xr-x - barrelfish
drwxr-xr-x - barrelfish_kpi