acrn-kernel/drivers/thermal/Makefile