Add known good kernel
from: f549eaf2a6e1014cd43f8641f82e4d6a98e8d2e9