Use Freon_deconfig - FreonKernel by: Nick Doherty

Change-Id: I69a034c92b56eb44a202e9cb6bbc1c7e14506607