Switch back to Andromadus kernel