Add ability to override number of IRQ vectors#2200

will-v-pi wants to merge 4 commits intoraspberrypi:developraspberrypi/pico-sdk:developfrom

will-v-pi:num-vtor-irqswill-v-pi/pico-sdk:num-vtor-irqsCopy head branch name to clipboard