default use gcc 4.7 to build kernel

Change-Id: I20b557627f412cbeba1d4590be227a5d4f9afd77