vars: Rename kernels to device_kernels

kernel_repos and kernels was confusing

Change-Id: I0a84448806608ab328386ebe2d193187d3cbd9ef

kernel/build_kernels.sh

@@ -25,15 +25,15 @@ readonly script_path="$(cd "$(dirname "$(realpath "$0")")";pwd -P)"
 readonly vars_path="${script_path}/../vars/"
 readonly top="${script_path}/../../../"
 
-source "${vars_path}/kernels"
+source "${vars_path}/device_kernels"
 
 ## HELP MESSAGE (USAGE INFO)
 # TODO
 
 ### FUNCTIONS ###
-build_kernels() {
+build_device_kernels() {
   pushd "${top}"
-  for kernel in ${kernels[@]}; do
+  for kernel in ${device_kernels[@]}; do
     ./build_kernel.sh "${kernel}"
   done
   popd
@@ -53,7 +53,7 @@ help_message() {
 }
 
 main() {
-  build_kernels
+  build_device_kernels
 }
 
 ### RUN PROGRAM ###

vars/README.md

@@ -13,3 +13,9 @@ readonly variables, meant for usage by all scripts
 
 #### $device
 * Device-specific variables
+
+### device_kernels
+* Kernels we support building, stored in device/google/${device_kernel}-kernel
+
+### kernel_repos
+* The repos used to build the above kernels, sometimes shared across multiple devices

vars/device_kernels

@@ -1,5 +1,5 @@
-# Usage: ${kernels[@]}
-readonly kernels=(
+# Usage: ${device_kernels[@]}
+readonly device_kernels=(
   crosshatch
   bonito
   coral