* The Arch Linux icon was created by ~IDRGSKYWALKER on Deviant Art
(http://idrgskywalker.deviantart.com/art/Arch-Linux-Logo-186211022).
+* Dave Vasilevsky (dave@vasilevsky.ca) contributed the disk-ejection
+ code.
+
+* John Bressler (jrb1327@gmail.com) contributed the code to boot BIOS-based
+ OSes on UEFI-based PCs.