updaing build.py to use 12.04.5 and extract kernel using noload