Perhaps the FAQ can be updated to reflect that booting to external drives is now possible through the use of external thunderbolt connected drives.

Thunderbolt is basically a PCI express...