[seL4] Issues with PR

Hi!

I'm having certain issues with the PR where I propose another way to get the gic cpu id directly from hardware registers instead of guessing like before.

First of all, inside CI/Links some errors appear about sel4 webpage links that I haven't touched, how can I solve this?

At last, on the PR/Preprocess test failure appears but it's not clear what the problem is and after the compilation test is successful.

Thanks for your time. Sincerely, Iker Galardi.