1. b17ed48 x86: Move efi to platform by Thomas Gleixner · 15 years ago
  2. 937f961 x86: Move sfi to platform by Thomas Gleixner · 15 years ago
  3. 3adbb7f x86: Add platform directory by Thomas Gleixner · 15 years ago