[Bug 669777] kernel NULL pointer dereference in splash_read_proc