One question, the firmware the repo shows seems to come from tianocore. How would you know what firmware your OEM is using? What if they have some other kind of configuration? Also I'm kind of surprised that the firmware can execute instructions like this, I was under the impression that after booting the firmware basically has finished it's job and is never touched again.