> Maybe, it would be better to provide a method fo rextra hardware setup. How
> about something like the attached patch to setup.S. If you need it, you just
> turn it on; if you don't, nothing extra is generated.
>
If one know his/her hardware enought to activate this extra set up,
it may be best if he/she set up correctly the BIOS parameters instead of
asking the kernel to set up these bits.
Ciao,
Riccardo.