fix vbox module build and kernel update boot preference