[04:28] Hi, I am trying to cross compile a kernel for raspberry pi 2. The deb-pkg build generates an armel.deb instead of armhf.deb. How do I generate the armhf deb? === chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk === chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk