https://sourceware.org/bugzilla/show_bug.cgi?id=29998
--- Comment #24 from Jan Janssen <medhefgo at web dot de> --- The patch seems to work and the EFI binary works as expected. -- You are receiving this mail because: You are on the CC list for the bug.
