machine/*: Allow kernel provider override

All machine configurations now allow user override of the preferred
kernel provider.

Signed-off-by: Gary Thomas <gary@mlbassoc.com>