Fix build against esp32-p4 #14148

Job	Run time
cpp_test_driver (ubuntu-22.04)	5m 43s
build_and_test (ubuntu-22.04, stable)	19s
cpp_test_driver (macos-12)	7m 46s
ffi_32bit_build	1m 34s
build_and_test (ubuntu-22.04, 1.70)	2m 8s
cpp_test_driver (windows-2022)	7m 26s
cpp_cmake (ubuntu-22.04)	6m 16s
build_and_test (macos-11, stable)	1s
cpp_cmake (macos-12)	15m 20s
mcu (pico-st7789, thumbv6m-none-eabi)	50s
build_and_test (windows-2022, stable)	1s
mcu_esp	2m 50s
mcu (stm32h735g, thumbv7em-none-eabihf)	49s
cpp_cmake (windows-2022)	8m 8s
build_and_test (windows-2022, 1.70)	1s
build_and_test (windows-2022, beta, --exclude ffmpeg --exclude gstreamer-player)	1s
python_test (ubuntu-22.04)	1m 42s
android	1m 55s
python_test (macos-11)	2m 35s
node_test (ubuntu-22.04)	3m 13s
python_test (windows-2022)	4m 8s
esp-idf-quick	8m 54s
node_test (macos-11)	27m 31s
fmt_test	1m 32s
node_test (windows-2022)	18m 5s
uefi-demo	49s
updater_test (0.3.0)	2m 43s
miri	1m 2s
docs / docs	7m 1s
tree-sitter / tree-sitter-tests	13s
wasm / wasm	4m 9s
wasm_demo / wasm_demo	13m 59s
wasm / lint-slintpad	25s
wasm / build-slintpad	48s
cpp_package_test	2m 20s
	2h 42m 17s

Provide feedback