[iso] fix broken bootmgr detection

* Closes #144
* Also fix broken WDK compilation