kernel configurations for various machines