CONFIG_RPI = y #CONFIG_VEXPRESS_A9 = y #CONFIG_INTEGRATOR_CP = n CONFIG_PAGE_SIZE = 0x1000 CONFIG_INIT_PAGE_SIZE = 0x100000