arm64: F26 vs F25 kernel config for 4.9 (48-bit VA)