Support late device removal
Allow booting a 32-bit system with a top memory address beyond 4 GiB
This tag has no release notes.