cpu/arm11mpcore: Set number of GIC priority bits to 4