armv5: make cpu driver run again.
[barrelfish] / include / target /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - k1om
drwxr-xr-x - x86
drwxr-xr-x - x86_32
drwxr-xr-x - x86_64