mbr: use $* instead of complicated function in Makefile
c_examples/cpuid: print more features by using a Linux kernel header