# TODO fix due to hardware errata
CONFIG_HIGHPTE=y