Update mpfr patch and configure options
[hvlinux.git] / TODO
Reading blob failed.