[OS-BUILD PATCH] Turn CONFIG_DEVMEM back on for aarch64