Hello, Simon.
I am trying to identify from which kernel you took Kbuild files.
In commit log, you are clearly saying, "This is taken from the Linux kernel 3.8-rc7".
So, I tried to get the one.
What I did is just as follows:
$ git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git $ git checkout v3.8-rc7
I am not sure this is a correct way, but I found more diffs than just the adjustment for U-Boot.
For example, script/kconfig/Makefile you added includes the following lines.
kvmconfig: $(Q)$(CONFIG_SHELL) $(srctree)/scripts/config -e KVMTOOL_TEST_ENABLE $(Q)yes "" | make oldconfig > /dev/null @echo 'Kernel configuration modified to run as KVM guest.'
But the Linux kernel, I think to be v3.8-rc7, do not include them. The kvmconfig is missing from Linux Kernel master branch too.
Maybe I am seeing different source tree, so, could you show me how to get Linux Kernel sources you started from?
Best Regards, Masahiro Yamada