Silence prebuilt kernel messages

Change-Id: I6c50b3d93d8b188128d2a770bac882fa940656d8