aosp.py: Better support of irdakk and gminl