use uki for normal booting, if the system is a fde install
