cpu/a9mpcore: Set number of GIC priority bits to 5