add few more kernel targets to avaoi colorizing