No, it's no longer a problem. I don't think my laptop needs any boot options now. Thanks. It would be nice if I could close my own bugs. -- "Could not open resource for writing" https://launchpad.net/bugs/24989