planetcore_get_decimal
if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) {
if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size))
if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) {
if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size))
int planetcore_get_decimal(const char *table, const char *key, u64 *val);