This location is idiomatic to Linux Kernel people. Let's redirect them to the place we keep this information. Change-Id: I66fed1fc4990b2e9ff95dc197da752e1ec51c4e8