define /boot/efi partition instead of /boot for x86 EFI systems

Bug: 1088761
Change-Id: I748f0bdca52ca1588d90111e7aa403154f8a9a96