Remove old kernelquery.* files, update kernel_info to new approach

For now kernel_info uses the first available device.
Add menu device selection + update kernel_info accordingly