HP EliteBook EFI boot failure

[John Baldwin]

On Sunday, March 15, 2015 02:28:41 PM Oliver Pinter wrote:
> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=194063

I am curious if the redzone fix I committed to the EFI loader last week
might help.  It was noticed because gzipped kernels were corrupted when
loaded from disk, but it might generate other random corruption even in
the non-gzip case.  I think the chance that it helps is low, but it
isn't quite zero.

-- 
John Baldwin