Comment # 16 on bug 1231465 from Jiri Slaby

(In reply to Vlastimil Babka from comment #13)
> Thanks to Mike Rapoport for spotting the problematic line:
> 
> [    0.000000] [      T0] memblock_reserve:
> [0x0000000077535018-0x00000000429ef027] efi_memattr_init+0x77/0xa0
> 
> That range's end < start, causing an underflow.
> 
> These values probably come directly from some efi tables, so the firmware
> might be buggy if it's broken on a reboot vs cold boot?

Also, without the sign, the range would be:
0x77535018-0x1429ef018

which is weird in any case:
> BIOS-e820: [mem 0x000000007b600000-0x000000007f7fffff] reserved
> BIOS-e820: [mem 0x00000000f0000000-0x00000000f7ffffff] reserved
> BIOS-e820: [mem 0x00000000fe000000-0x00000000fe010fff] reserved
> BIOS-e820: [mem 0x00000000fec00000-0x00000000fec00fff] reserved
> BIOS-e820: [mem 0x00000000fee00000-0x00000000fee00fff] reserved
> BIOS-e820: [mem 0x00000000ff000000-0x00000000ffffffff] reserved
> BIOS-e820: [mem 0x0000000100000000-0x000000087e7fffff] usable