Poder, se puede, pero lo veo una tontería, en los chinos venden adaptadores de 12v a 20v que dan 90W, que para un portatil es suficiente,(a mi,no me han solido durar mucho, pero bueno eso es otra historia), solo tendrías que cortar el adaptador del coche y poner una clavija para enchufar a la bateria del barco. y cuestan unos 15€. Asi no te arriesgas a meter corriente donde no debes y dañar el portatil.