flo: Use correct kernel repo

Change-Id: I425f194c996954e8a8e5bde2a33c22a9fa08a1d4