merge mainline changes
commit3acd1bbbc798671d0d42673c2e902088d0f5ecd8
authorMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 17 Feb 2013 15:00:03 +0000 (17 16:00 +0100)
committerMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 17 Feb 2013 15:00:03 +0000 (17 16:00 +0100)
treec46495586e29980a776a4933ed837819c2313a4d
parent124a1cefb116867ae31a79dfb959bfec793677ac
parent005b7650984fbd538a5d58cc85a6fcf67782dc46
merge mainline changes
boot/arch/arm32/Makefile.inc