03: UEFI firmware on the ESDC 2014 platform