Nit knowing secure boot all that well, why isn't there an option in BIOS (I know, I know) to upload the new key manually? That really cannot be that hard...