de1034b38a34 ("efi: runtime: Fix potential overflow of soft-reserved region size")