I'm a debian kinda guy and have been playing with both debian and mainline kernels, and haven't come across it yet, it may be that the ARM maintainers keep it on a separate branch for now.

I'll investigate Linaro at some point, if that's more of a hotbed of ARM development.