Flo: Update kernel config sources

Change-Id: Ie708d110b04b0bc987080e4ac0e2991b4dea2431