tenderloin: fixup some build flags

Change-Id: Ie8fe4776be7e7e9f1713ca5d70a1b368970ee8d6