Fix typo.
Add kernel makefile support for building with different targets: make MBC_TARGET=ir.