We need to revert this patch which causes boot failure with 32-bit PAE on
*some* machines, such as: LENOVO 20QV000GUS Intel i7-9850H

Non-PAE is not affected, but we'll let this get reverted there too since
it's not part of the code path anyway.