novena: Remove empty reset_cpu()