Comment 4 for bug 1212160

TEST CASE:
1. Install 12.04.2, boot to desktop and run update (3.5.0-43) on 201303-13027
2. Install the proprietary video driver (fglrx-updates)
3. Reboot in battery mode (no AC connected)
4. Insert HDMI cable
5. execute 'cat /proc/asound/card0/codec0'
6. Kernel panic occurred, caps lock LED flashing, reboot
7. Install the deb file from comment #3
8. Repeat 3-5

VERIFICATION DONE

Expected result:
1. Kernel panic should happen on step 6
2. It won't happen again after the deb file was installed

Actual result:
Kernel panic occurred as expected, the patch works as expected

Thanks