try fixing Makefile for compressed kernel using someone else's makefile