por experiencias propias, hace la facil, compra dos stepdown, los pones a cada uno directo a los 19v, y a uno lo regulas a 12v, y el otro a 5v, poneoes un disipador minimo a cada uno y te olvidas.
Creo que esos stepdown rondan los 80 pesos cada uno en mercadoladri, me refiero a este que postearon aca
www.forosdeelectronica.com/f21/aliementacion-disco-rigido-12v-2a-147410/#post1131942