Fix RANDOM_TRUST_BOOTLOADER check