build Zion kernel v1.5