[kernel] pretty sure pusha is supposed to be pushal