linux-novena: fix build