A fix in arch-spec/include/timer.h is needed too: do not include types.h, but stdint.h file.
Attach a file by drag & drop or click to upload