Comment 22 for bug 1082742

After "apt-get remove gdm lightdm", I get by default to the command line, and there "startx" crashes the kernel.
From /var/log/syslog, it looks like a problem in exynos_user_fb_create:

Apr 14 10:37:25 nap kernel: [ 12.657138] Unable to handle kernel paging request at virtual address 0040a000
Apr 14 10:37:25 nap kernel: [ 12.657218] pgd = eca38000
Apr 14 10:37:25 nap kernel: [ 12.657269] [0040a000] *pgd=00000000
Apr 14 10:37:25 nap kernel: [ 12.657354] Internal error: Oops: 5 [#1] SMP ARM
Apr 14 10:37:25 nap kernel: [ 12.657410] Modules linked in: qcserial uvcvideo usb_wwan videobuf2_vmalloc usbserial xhci_hcd joydev isl29018(C) mw
ifiex_sdio mwifiex industrialio(C) ehci_hcd rfcomm cfg80211 sbs_battery cyapa btmrvl_sdio ohci_hcd btmrvl bluetooth usbcore dwc3_exynos usb_common spi
dev dwc3
Apr 14 10:37:25 nap kernel: [ 12.658072] CPU: 0 Tainted: G C (3.4.0-5-chromebook #5-Ubuntu)
Apr 14 10:37:25 nap kernel: [ 12.658162] PC is at page_address+0x14/0xf4
Apr 14 10:37:25 nap kernel: [ 12.658230] LR is at exynos_user_fb_create+0x22c/0x2dc
Apr 14 10:37:25 nap kernel: [ 12.658300] pc : [<800db9c0>] lr : [<80293de0>] psr: 800f0013
Apr 14 10:37:25 nap kernel: [ 12.658331] sp : ecec1d28 ip : ecec1d50 fp : ecec1d4c
Apr 14 10:37:25 nap kernel: [ 12.658396] r10: eca5dd40 r9 : 00000001 r8 : 00000001
Apr 14 10:37:25 nap kernel: [ 12.658454] r7 : 806e8848 r6 : eca5db40 r5 : 806e09a4 r4 : edd5c680
Apr 14 10:37:25 nap kernel: [ 12.658518] r3 : 806e0964 r2 : 00000000 r1 : eca5dd40 r0 : 0040a000
Apr 14 10:37:25 nap kernel: [ 12.658586] Flags: Nzcv IRQs on FIQs on Mode SVC_32 ISA ARM Segment user
Apr 14 10:37:25 nap kernel: [ 12.658656] Control: 10c5387d Table: aca3806a DAC: 00000015
Apr 14 10:37:25 nap kernel: [ 12.658718] Process Xorg (pid: 956, stack limit = 0xecec02f8)
Apr 14 10:37:25 nap kernel: [ 12.658778] Stack: (0xecec1d28 to 0xecec2000)
Apr 14 10:37:25 nap kernel: [ 12.658845] 1d20: 806e0964 edd5c680 806e09a4 eca5db40 806e8848 00000001
Apr 14 10:37:25 nap kernel: [ 12.658928] 1d40: ecec1d94 ecec1d50 80293de0 800db9b8 805a8d9b ecec1d60 80496f68 eca5dd40