linux_3.1: add extra '#' to multi-line comment