kernel: add support for bzImages