[PATCH] ls1028a: fix EFI boot