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
realtime-kernel
realtime-kernel element replaces the default kernel with the realtime kernel. The appropriate repos must already be enabled.