Inline kernel options
Set to prebuilt still for now
Point ot TheMuppets vendor files