Hi, are you using the official Debian image with U-Boot from FriendlyELEC, or a custom build?
Also, have you checked whether these parameters are coming from bootargs in U-Boot or from the DTB?