Docs: Clarifying that kernel names change per device

Bug: 25146502
Change-Id: I607533b2ebddabced0d8e91e71fc25a225eb5349
1 file changed