ARMv7: Bump NR_CPUs to 16, the HIP04D01 has that many