I thought of one other question, will there be an option to update the firmware via nitrokey in bios?
Fill in the blank.