Description:
At boot the below trace is seen. After that the system continues to boot.
The issue also affects the older ArchLinux stable kernel, 3.4.x.x series too.

Other people seem to have seen this issue:
https://bugzilla.redhat.com/show_bug.cgi?id=840621

Additional info:
* Linux dexter 3.5.2-1-ARCH #1 SMP PREEMPT Wed Aug 15 18:54:33 CEST 2012 x86_64 GNU/Linux.
* Untainted.
* HW: Lenovo T530,2359CTO with pure UEFI enabled in the `BIOS'.

Trace:
Aug 23 08:20:20 localhost kernel: [ 1.247514] ------------[ cut here ]------------
Aug 23 08:20:20 localhost kernel: [ 1.247518] WARNING: at drivers/base/core.c:196 device_release+0x8a/0xa0()
Aug 23 08:20:20 localhost kernel: [ 1.247520] Hardware name: 2359CTO
Aug 23 08:20:20 localhost kernel: [ 1.247526] Modules linked in:
Aug 23 08:20:20 localhost kernel: [ 1.247528] Pid: 1, comm: swapper/0 Not tainted 3.4.9-1-ARCH #1
Aug 23 08:20:20 localhost kernel: [ 1.247530] Call Trace:
Aug 23 08:20:20 localhost kernel: [ 1.247534] [<ffffffff810515bf>] warn_slowpath_common+0x7f/0xc0
Aug 23 08:20:20 localhost kernel: [ 1.247537] [<ffffffff810516b6>] warn_slowpath_fmt+0x46/0x50
Aug 23 08:20:20 localhost kernel: [ 1.247539] [<ffffffff8130cfba>] device_release+0x8a/0xa0
Aug 23 08:20:20 localhost kernel: [ 1.247543] [<ffffffff812414dc>] kobject_release+0x4c/0xa0
Aug 23 08:20:20 localhost kernel: [ 1.247546] [<ffffffff818e78d2>] ? efifb_probe+0x498/0x498
Aug 23 08:20:20 localhost kernel: [ 1.247549] [<ffffffff8124139c>] kobject_put+0x2c/0x60
Aug 23 08:20:20 localhost kernel: [ 1.247551] [<ffffffff8130cd37>] put_device+0x17/0x20
Aug 23 08:20:20 localhost kernel: [ 1.247553] [<ffffffff813130b7>] platform_device_put+0x17/0x20
Aug 23 08:20:20 localhost kernel: [ 1.247555] [<ffffffff813130de>] platform_device_unregister+0x1e/0x30
Aug 23 08:20:20 localhost kernel: [ 1.247558] [<ffffffff818e7abc>] efifb_init+0x1ea/0x1f6
Aug 23 08:20:20 localhost kernel: [ 1.247560] [<ffffffff818e78d2>] ? efifb_probe+0x498/0x498
Aug 23 08:20:20 localhost kernel: [ 1.247563] [<ffffffff8100212a>] do_one_initcall+0x12a/0x180
Aug 23 08:20:20 localhost kernel: [ 1.247567] [<ffffffff818bbd70>] kernel_init+0x13e/0x1c2
Aug 23 08:20:20 localhost kernel: [ 1.247569] [<ffffffff818bb605>] ? do_early_param+0x8d/0x8d
Aug 23 08:20:20 localhost kernel: [ 1.247572] [<ffffffff8146d2a4>] kernel_thread_helper+0x4/0x10
Aug 23 08:20:20 localhost kernel: [ 1.247575] [<ffffffff818bbc32>] ? start_kernel+0x3ce/0x3ce
Aug 23 08:20:20 localhost kernel: [ 1.247578] [<ffffffff8146d2a0>] ? gs_change+0x13/0x13
Aug 23 08:20:20 localhost kernel: [ 1.247583] ---[ end trace 51781f7bacf08122 ]---

Let me know if there is anything else I forgot to provide?
Cheers,