This is a maintenance release fixing known issues for the usage of packed data structures. Furthermore, the usage of the FPU can be disabled explicitly for devices.