GCC 4.7: set CPU type in boot/compressed/makefile