ubuntu-linux-kernel/include/config/arm/gic/max/nr.h