switch to dr87s kernel.