add some kernel stuff for amd64
authorLuca Filipozzi <lfilipoz@emyr.net>
Wed, 9 Aug 2017 16:06:53 +0000 (16:06 +0000)
committerLuca Filipozzi <lfilipoz@emyr.net>
Wed, 9 Aug 2017 16:06:53 +0000 (16:06 +0000)

No differences found