Re: [PATCH 1/2] Samsung/Arndale: Booting UEFI and linux from eMMC