Using Wind River Simics* for Debugging UEFI Firmware