Home Android Redmi 7a spotted on TENNA, set to launch alongside Redmi K20