Fix typo in prebuilt kernel line