Build against downloaded prebuilt GKI

See Setting up DDK workspace.