86b118854e
When allocating a CPU interrupt, make sure to select the correct CPU core to query for it. Simply checking for the current CPU does not satisfy this requirement because the CPU allocation thread may be executed by the other core: it's necessary to stick with the intended CPU passed as an argument of the `esp32s3_setup_irq`.