flo: Use prebuilt AOSP kernel for now

Change-Id: Ibf66585db72f175b1b6088d00da5711f3a804e05