Using a 19v power brick on a 12v pico power supply?
Wide input range PicoPSU 120W, model number 120-WI-25.
Considerably more [expensive] than the regular PicoPSU 120, but you may save money on the power brick used to power this unit due to the availability of a wider range of power bricks.
This PSU differs from the previous in that you can use any kind of DC input from 12V to 25V. This can be convenient when shopping for a capable power brick as most notebook power bricks on the market are 19VDC.

They are describing the Wide Input range Pico-PSUs, which down convert/Regulate to 12V as well as the other voltages. The regular Pico-PSUs are pass through for the 12V input, no regulation provided.