Mako: Move prebuilt kernel stuff to BoardConfig

Change-Id: I002f9c199f08d45772d48a0e09059d3c7a410044