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