OLPC weekly update 07/12

• 13.1.0 build 16 and 17 release and testing, now using frozen package trees.
• Investigated initramfs boot problems on ARM.
• Fixed support for UHS-I SD cards on XO-1.75.
• Helped with some awkward XO-4 volume mixer interactions.