hw/cpu/a15mpcore: Correct default value for num-irq