gic.c: marked with comments where the next immediate implementation shoud continue and also, this commit is to see how pull request works on github.com