[tuna] Setup for inline build of franco kernel

Change-Id: I22206adaf9a74ef8c4328da06cb9ba0b32457b68