No, build. I promise these devices have kernels.

Change-Id: I5ad703a11dc6c97679e5b3fc1febe102e140b290