i9500: bootloader does not pass BOARD_KERNEL_CMDLINE to kernel