Build elemental x kernel for hammerhead

Change-Id: Ib2d47e28d382d11eb1dc50f48b4d7b9790c02f2e
Use sabermod 4.9 for kernel tool chain

Change-Id: Ib4f1c25923982ae6bea9c78b791cc08461c8b1a7