Sven Anderson 11462cc35f Make sure, the realtime element removes the default kernel ... Since the default kernel is a protected package, removing it, even in the chroot environment, may fail. This fix forces the removal by disabling the protected_packages configuration. Change-Id: Ib7c849cf6aa2b1716cfddfe6e852dae482e00301		2018-01-22 16:18:03 +01:00
..
99-remove-default-kernel	Make sure, the realtime element removes the default kernel	2018-01-22 16:18:03 +01:00