tree 4ca66230179a9934bc49395d0c4bdc4792fb0418
parent fc36260946df8fd8a4527da1ed70f9743d2c7fc2
author Greg Hackmann <ghackmann@google.com> 1395160601 -0700
committer Greg Hackmann <ghackmann@google.com> 1395160626 -0700

move x86_64 kernels to fix build

Change-Id: I06d567990591b3d738e9647720837a752a67935b
Signed-off-by: Greg Hackmann <ghackmann@google.com>