Change all users of header files to correct path. Remove some unneeded headers for arch-v32.
Signed-off-by: Jesper Nilsson
#include <arch/spinlock.h>
