Merge branch 'buildpatman' of http://git.denx.de/u-boot-x86