Merge "microdroid: add /dev/hvc2" am: 1cd812d357 am: ff53741d8e am: a5eecef781 am: e117788d97 am: dae7bd4cd5

Original change: https://android-review.googlesource.com/c/platform/system/sepolicy/+/1876184

Change-Id: Ia8ae403f2f8cb88c4e55598e97c7a737023c07de