script to check a kernel config has the required options for Ubuntu touch