linux-firmware: update to 20130904.
linux3.11: enable NO_HZ_FULL_ALL and INTEL_TXT; try to sync x86/32 config with the 64bits one.