hammerhead: Use pure CAF kk_3.5 HALs