Sorry if I missed a discussion on it in the intial firmware threads, but
what is the point of all these FOO_FIRMWARE options? I think we should
include all firmware that we have a driver for if people want firmware
built-in and non if not.
That is instead of all these FOO_FIRMWARE options just have one
user-visible BUILTIN_FIRMWARE option. Also makes it much less likely
for mingo to accidentally build a kernel image that doesn't actually boot :)
--