If HAL does not list the options you want, then maybe you need to check your BIOS to check that it's running in the correct mode, and also that you have compiled your kernel with the correct options.
HALek ez baditu nahi dituzun aukerak zerrendatzen, agian BIOSa egiaztatu beharko duzu, modu egokian exekutatzen ari dela ziurtatzeko, eta nukleoa zuzeneko aukerekin konpilatu duzula ziurtatzeko.