build zion kernel v1.2