We should use baremetal.

Otherwise we get dib deprecation warnings and complaints, or worse,
use a prior kernel :).

Change-Id: Ic9d5f22c1aa50e94ab3e26bb3b3ca29bc7972546
Merge "We should use baremetal."