Kernel Sources provided by Acer