During CI sometimes kernel fail to upgrade or downgrade. We ended up with a broken system without any kernel files.
CI relies on armbian-config way of kernel change.