kernel: add support for bzImages

Some boards, like smi, uses bzImage images for the kernel,
so we add the option enabled by BOARD_USES_BZIMAGE in BoardConfig.mk

Change-Id: I40a889de2d1a201cd10721b4005096d067d0be10