I'm trying to compile the arduino example from the bolderflight eigen library (https://github.com/bolderflight/eigen) using Arduino IDE 2.2.1 for the Teensy 4.1. It's refusing to compile mostly due to this prefetch function. Any suggestions?