- fix booting jellybean kernels
- autorefresh menuentries