After double checking the wiki, it seems that the kernel is the right place for this as the issue is with booting the live CD, not the installer...
After double checking the wiki, it seems that the kernel is the right place for this as the issue is with booting the live CD, not the installer...