Anche i portatili, oltre alla "normale" batteria, hanno anche una batteria per il mantenimento della memoria del BIOS (e nel tuo caso è decisamente confermato dal fatto che la batteria specifica si trova come pezzo di ricambio su eBay), per cui dovrebbe valere lo stesso procedimento dei PC desktop, solo che è un po' più un casino trovare e scollegare la batteria in questione.