update linux headers to 3.12.6
add headers that are now available