[Bug 1187167] kernel-default varies across builds