Initially I merely noticed the regression addressed by a patch which meanwhile has already gone in, but looking more closely revealed further deficiencies. After having moved the FIXME in patch 1 I couldn't resist and address that issue at least partly (patch 2), seeing that three and a half years have passed and nothing was done to improve the situation.
1: build: also check for empty .bss.* in .o -> .init.o conversion 2: EFI: free unused boot mem in at least some cases Jan
