Wow, I think I learned more about Linux + UEFI from this comment than anything else so far. Thanks!