x86_64: extended initial ID map to 12 MB