Correct a printf format character.
Merge branch '20130902-kernel-core-gzip-2' into markj-develop
Kernel config for i386.
Merge branch 'markj-kernel-config' into markj-develop