1. 3e9aa32 x86: Add EFI board code by Ben Stoltz ยท 10 years ago