kernel: Rely on Kbuild for freshness

We shouldn't attempt to determine when files are "up-to-date"
and instead treat kernel builds as phony targets and rely on its outputs
instead.

Change-Id: I35c7632e1fdb95a077b59cfe02945916cb740d38
1 file changed