[unix_distributions][raspberry_pi_os] Switch to 4K page size Linux kernel

[LukeShortCloud]

trafficstars

$ sudo -E ${EDITOR} /boot/config.txt
kernel=kernel8.img

https://www.jeffgeerling.com/blog/2023/pcie-coral-tpu-finally-works-on-raspberry-pi-5

Otherwise, these applications will not work: https://github.com/raspberrypi/bookworm-feedback/issues/107