ich hab mir das manual vom p4c800-e-delux angschaut.
im chapter4 seite 32 ist das wechseln der boot-optionen beschrieben. was ich so gesehen hab kannst mit +/- die optionen einstellen.
probiers halt, s'müsste gehn.
edit: aber jetzt geh ich in die heia!