* Use 'or'.
linux: Update to 3.4.53
Set the default Linux kernel to 3.4

3.4 is the most recent long-term stable branch, which will be
maintained until October 2014 at least.

Issue #501.