Coming soon. Long story short, copy the custom kernel into the right directory and build the eee_701 target.