hammerhead: Add plain caf/kk_3.5 HALs
hammerhead: Use new kernel