一些build new kernel的東東

http://people.cs.nctu.edu.tw/~chenwj/dokuwiki/doku.php?id=ubuntu

其中在ubuntu 12.04，若有改boot options，在/boot/grub/grub.cfg

改完要update-grub