x86: print out more info in e820_update_range()