firmware: use 'kernel_read()' to read firmware into kernel buffer