0001-Don-t-initialise-the-FPU-when-it-is-not-available.patch
