Hi Chris,
you're very welcome to extend NEON support. Indeed, the only place to look at is src/Core/arch/NEON/PacketMath..h. I guess it means changing the number of registers and add all the wrappers for double. Perhaps it would be better to put them in a new file instead of a big #ifdef / #endif. This file would be conditionally included from Eigen/Core. You might also look at the arch/SSE/PacketMath.h file to have SSE examples of the double wrappers. The expected behaviors are documented in src/Core/GenericPacketMath.h. Don't hesitate to ask us if something is unclear. Compiling and running the packetmath_* unit tests should be enough to verify everything works well.
good luck,
gael