gic: probe max number ints
plat-vexpress-a15: default debug enable