[AWS] bump kernel version
[AWS] update Vagrantfile