In the words of Emily Litella[1] "Oh... Never mind." ;-) The solution: "disable-security". (The USB key had the developer key. So, in: boot. Out: no developer key, no boot.) References: 1. http://en.wikipedia.org/wiki/Emily_Litella