Add a501 manifests (uses a200 kernel, a500 vendor)