memul: Switch to common kernel