From my latest testing, we do currently support machines that don't have PAT support (really old 32 bit x86). So this can be revisited at some future point when we go 64 bit only for x86.
From my latest testing, we do currently support machines that don't have PAT support (really old 32 bit x86). So this can be revisited at some future point when we go 64 bit only for x86.