[OS-BUILD PATCH 0/2] Small Makefile fixes

[GitLab Bridge on behalf of omos]

From: omos on gitlab.com

These are fixes two small issues that were annoying me when trying to
build a test kernel using the ARK tree.