4GB is the 32-bit address space. You could be right. My thought was that there wasn’t really a technical reason to not boot with more RAM than is addressable, but it’s certainly possible that BIOS/firmware or even the OS treated it as a fatal error.