Actually, with the way to get kernel images @rar0 discovered it’s possible to directly flash a patched boot.img
The old way has the benefit of not having to look up your build number and less ways to flash wrong stuff, but it certainly is slower… your choice 
