Yasuo,
It is not exposed in any way through vagrant.
It is a kernel command line option.
You'd have to edit /etc/default/grub and add it to GRUB_CMDLINE_LINUX_DEFAULT and then run 'update-grub'.
I had done a quick test and didn't seem to think that it fixed the issue, but I'd be interested in hearing your feedback.
Yasuo, LINUX_DEFAULT and then run 'update-grub'.
It is not exposed in any way through vagrant.
It is a kernel command line option.
You'd have to edit /etc/default/grub and add it to GRUB_CMDLINE_
I had done a quick test and didn't seem to think that it fixed the issue, but I'd be interested in hearing your feedback.