Fix kernel config; preparation for Linaro