Securely configuring BIOS/UEFI