Supposedly there's a boot-loader installed
that lets you select various kernels and / or
When that screen comes up, use the cursor
keys to highlight your default kernel using
the cursor keys, and then you should be
able to type stuff in. After the kernel's name,
type single and enter.