TODO

   1 UEFI: use DXE API to unlock write access to the PE/COFF code pages (Or via direct access to page
   2 tables since we are in ring0). This code is ready upstream. This should never happens unless brain
   3 damage happens at UEFI.
   4
   5 May need to switch many single bit manipulations on less than 32 bits to xor/and/or from of
   6 btc/btr/bts.
   7
   8 We do not reserve the PCI ROM images of the devices from EFI yet.
   9
  10 Asynchronous init resources reclaiming code (if ever).