Minor updates

- Use apt instead of dpkg to list old kernels
- Cleanup script improved
- Build ISO synchronized