[maguro] Setup for inline build of franco kernel

Change-Id: Icaf6223f6aca4b9cd82a0ba14cc461001b28cbf0