Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) /* SPDX-License-Identifier: GPL-2.0 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #ifdef __uClinux__
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) #include <asm/pgtable_no.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) #else
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) #include <asm/pgtable_mm.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) #endif