RE: [PATCH] ls1028a: fix EFI boot