This line in your output:
Suggests that your /etc/X11/xorg.conf file isn't being read. Whereas my /var/log/Xorg.0.log says:
Code:
[ 36.933] (==) Using config file: "/etc/X11/xorg.conf"
My /etc/X11/xorg.conf reads:
(Quite a lot was auto-generated by PCBSD)
Code:
Section "ServerLayout"
Identifier "X.org Configured"
Screen 0 "Screen0" 0 0
InputDevice "Mouse0" "CorePointer"
InputDevice "Keyboard0" "CoreKeyboard"
Option "AutoAddDevices" "false"
Option "AutoEnableDevices" "false"
EndSection
Section "Files"
ModulePath "/usr/local/lib/xorg/modules"
FontPath "/usr/local/lib/X11/fonts/misc/"
FontPath "/usr/local/lib/X11/fonts/TTF/"
FontPath "/usr/local/lib/X11/fonts/OTF/"
FontPath "/usr/local/lib/X11/fonts/Type1/"
FontPath "/usr/local/lib/X11/fonts/100dpi/"
FontPath "/usr/local/lib/X11/fonts/75dpi/"
EndSection
Section "Module"
Load "dbe"
Load "dri"
Load "dri2"
Load "extmod"
Load "record"
Load "glx"
EndSection
Section "InputDevice"
Identifier "Keyboard0"
Driver "kbd"
EndSection
Section "InputDevice"
Identifier "Mouse0"
Driver "mouse"
Option "Protocol" "auto"
Option "Device" "/dev/sysmouse"
Option "ZAxisMapping" "4 5 6 7"
EndSection
Section "Monitor"
Identifier "Monitor0"
EndSection
Section "ServerFlags"
Option "DRI2" "True"
Option "AIGLX" "True"
EndSection
Section "Device"
### Available Driver options are:-
### Values: <i>: integer, <f>: float, <bool>: "True"/"False",
### <string>: "String", <freq>: "<f> Hz/kHz/MHz",
### <percent>: "<f>%"
### [arg]: arg optional
#Option "DRI" # [<bool>]
#Option "ColorKey" # <i>
#Option "VideoKey" # <i>
Option "FallbackDebug" "True" # [<bool>]
#Option "Tiling" # [<bool>]
#Option "LinearFramebuffer" # [<bool>]
#Option "Shadow" # [<bool>]
#Option "SwapbuffersWait" # [<bool>]
#Option "TripleBuffer" # [<bool>]
#Option "XvPreferOverlay" # [<bool>]
#Option "DebugFlushBatches" "True" # [<bool>]
#Option "DebugFlushCaches" "True" # [<bool>]
#Option "DebugWait" "True" # [<bool>]
#Option "HotPlug" # [<bool>]
#Option "RelaxedFencing" # [<bool>]
Option "AccelMethod" "sna"
Identifier "Card0"
Driver "intel"
BusID "PCI:0:2:0" # YOU WILL HAVE TO CHECK THIS!
EndSection
Section "Screen"
Identifier "Screen0"
Device "Card0"
Monitor "Monitor0"
SubSection "Display"
Depth 32
EndSubSection
EndSection
Note the comment "YOU WILL HAVE TO CHECK THIS!" as your Intel HD 4000 may be at a different PCI address to mine.
To check, run
# pciconf -lv
and you should see an entry like this:
Code:
vgapci1@pci0:0:2:0: class=0x030000 card=0x05721028 chip=0x01668086 rev=0x09 hdr=0x00
vendor = 'Intel Corporation'
class = display
subclass = VGA
From which you can set the BusID. I think mine is actually wrong by virtue of being the old Xorg BusID addressing style but it still works.
I've attached a sample Xorg.0.log (bzip2 compressed) for you to compare against.