KERNEL: Linaro 4.9 -O3 optimised kernel by @JustArchi for ArchiPort