Update the patchset for MPFR 2.4.1 from upstream.
-------- diffstat follows --------
/trunk/patches/mpfr/2.4.1/120-cast-to-void-ptr.patch | 25 25 0 0 ++++++++++++
/trunk/patches/mpfr/2.4.1/130-vasprintf-mp_limb_t.patch | 45 45 0 0 ++++++++++++++++++++++
/trunk/patches/mpfr/2.4.1/140-zeta_ui-shift.patch | 47 47 0 0 +++++++++++++++++++++++
3 files changed, 117 insertions(+)
3 menu "Operating System"
5 # Config option used throughout the config and code to determine wether
6 # we have a kernel or not (there might be different bare metal stuff...
17 source config.gen/kernel.in