[ARM] add CONFIG_HIGHMEM option