marvel: add AOSP device config