x86: aperture_64.c: corner case wrong