Well, the IO only goes to ~30MHz bandwidth anyways and I think the HVL library is rated for operation down to 1.8V anyways, so I think that works