Some fixes for TrueDualBoot